model-checking
Model checking, temporal logic, and system verification
Quellinformationen
- Repository
- NeuralBlitz/Mito
- Letzte Quellaktivität
- 22. März 2026 um 13:29
- Erkannte Sprache von SKILL.md
- Englisch
- Sterne
- 0
- Forks
- 0
Installationsoptionen
Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.
Quelldateien prüfen
Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.
SKILL.md wird angezeigt
SKILL.md
Quellanweisungen · Schreibgeschützte Vorschau- 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
Auf GitHub ansehen