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]

Abstract State Machines