model-checking
Model checking, temporal logic, and system verification
Source facts
- Repository
- NeuralBlitz/Mito
- Last source activity
- March 22, 2026 at 13:29
- Detected SKILL.md language
- English
- Stars
- 0
- Forks
- 0
Install options
The review-first prompt is selected by default. You can switch to a direct command or download a local copy.
Review the source files
Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.
Showing SKILL.md
SKILL.md
Source instructions · Read-only preview- 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
View on GitHub