model-checker-interface
// Interface with multiple model checking tools for formal verification
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
namemodel-checker-interface
descriptionInterface with multiple model checking tools for formal verification
allowed-toolsBash,Read,Write,Edit,Glob,Grep
metadata[object Object]
Model Checker Interface
Purpose
Provides expert guidance on using model checking tools for formal verification of systems and protocols.
Capabilities
- SPIN/Promela specification generation
- NuSMV/NuXMV interface
- UPPAAL for timed systems
- Result parsing and visualization
- Counterexample trace analysis
- Abstraction refinement
Usage Guidelines
- Tool Selection: Choose appropriate model checker
- Specification: Translate system to checker's language
- Properties: Specify properties to verify
- Checking: Run model checker
- Analysis: Interpret results and counterexamples
Tools/Libraries
- SPIN
- NuSMV
- UPPAAL
- PRISM