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