| 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: |