Finiteness is Mu-ineffable

Model Checking: A Tutorial Overview

MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes

Model checking: a tutorial overview

Modeling and verification of parallel processes

Model checking

Handbook of automated reasoning

The Birth of Model Checking

25 Years of Model Checking