[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

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]