Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

ASMs and MDGs (Technical Report)


Citation: Amjad Gawanmeh, Sofiène Tahar, and Kirsten Winter, "Formal Verification of ASM Designs using the MDG Tool". Concordia University, Department of Electrical and Computer Engineering, Technical Report, June 2003. 
Summary: An extended technical report describing the details of an interface between ASMs and multiway decision graphs (MDGs). Includes a case study using the Island Tunnel Controller. 
Subjects: Mechanical Verification, Benchmark Examples 
Download: From Concordia University
Notes: An expansion of earlier work