Informations de source
- Dépôt
- NeuralBlitz/Mito
- Dernière activité de la source
- 22 mars 2026 à 13:29
- Langue détectée de SKILL.md
- anglais
- Étoiles
- 0
- Forks
- 0
Options d'installation
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Vérifiez les fichiers source
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
Affichage de SKILL.md
SKILL.md
Instructions source · Aperçu en lecture seule- name
- model-checking
- description
- Model checking, temporal logic, and system verification
- license
- MIT
- compatibility
- opencode
- metadata
- {"audience":"researchers","category":"computer-science"}
## What I do
- Verify system properties
- Apply model checking tools
- Specify requirements formally
- Find bugs in systems
## When to use me
When working on formal verification or system correctness.
## Key Concepts
- CTL/LTL
- SPIN
- NuSMV
- Abstraction
- Counterexamples
- State explosion
- Bounded model checking
Voir sur GitHub