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

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Abstraction in Model Checking ASM


Citation: Kirsten Winter, "Supporting Abstraction when Model Checking ASM". Technical Report 01-20, SVRC, University of Queensland, June 2001.
Summary: An extension of the model checking interface between ASM Workbench and SMV is presented which supports abstractions for infinite-state ASMs. An interface to Multiway Decision Graphs (MDGs) is also presented.
Subjects: Mechanical Verification
Download: From the University of Queensland in PDF, PostScript, and gzipped PostScript.
Notes: Included in Winter's Ph.D. thesis.
[an error occurred while processing this directive]