Title: Model Checking Abstract State Machines
Subjects: Computer simulation, Machine theory