Spacer
État du projet: Inconnureimplementation of a part of the Spacer model checker using Z3 and OCaml
- Logiciel ou matériel étudié
- Type de travail
- Dépôt public principal
- github.com/remyciterin/spacer
Les projets sont classés selon le dernier nombre d’étoiles relevé sur leur dépôt. Les étoiles reflètent l’intérêt, pas l’avancement. Les valeurs manquantes restent inconnues.
Présentation et périmètre
reimplementation of a part of the Spacer model checker using Z3 and OCaml
Accueil des contributions
Règles de contribution inconnues
- Règles sur les contributions assistées par IA
- Non précisé
Systèmes documentés pour contribuer
Configuration pour contribuer non documentée
Avancement communiqué
Avancement non communiqué
Code source, compilations et versions
- Ouvrir le dépôt · github.comgithub.com/remyciterin/spacer