Model Checking

Model checking, temporal logic, and system verification

NeuralBlitz 910958b 431 B Updated 1 repo stars

File contents

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

neuralblitz/mito/tree/main/.opencode/skills/model-checking commit 910958bc15

Frequently asked questions

npx skillmds@latest add neuralblitz/model-checking