Model checkers
Software engineering
Computing
Theoretical computer science
Model checking
Promela
Formal verification
SPIN model checker
Abstraction
Sizeof
Const