An Introduction to Model Checking
Stephan Merz · 2008
This chapter contains sections titled: Introduction Example: control of an elevator Transition systems and invariant checking Temporal logic Model checking algorithms Some research topics Bibliography