{{Commonscat|Model checking (computer science)}}
{{Cat main}}
Category:Formal methods
Category:Finite model theory