Model-checking IV
9 Dezembro 2016, 16:30 • Antónia Lopes
- Explicit-state model checking of LTL properties
- Buchi automata
- From LTL to Buchi automata
- Reduction to an emptiness problem
- How to control the state-explosion problem in SPIN
- Storage of states
- State Compression
- State representation
- Partial order reduction