Model Checking (Thesis)

Citation:	Kirsten Winter, Model Checking Abstract State Machines, Ph.D. thesis, Technical University of Berlin, Germany, 2001.
Summary:	Tool support for ASMs via automated model checking is investigated. The ASM Workbench is used as the core framework for ASM; interfaces are provided to the SMV model checker and the MDG-Package. The practicability and limitations of both approaches are discussed.
Subjects:	Mechanical Verification
Download:	From the repository at the Technical University of Berlin.
Notes:

[an error occurred while processing this directive]

Abstract State Machines