Abstract State Machines




ASM Studies

ASMs and MDGs

Citation: Amjad Gawanmeh, Sofiène Tahar, and Kirsten Winter, "Formal Verification of ASM Designs using the MDG Tool". In Proceedings of the IEEE International Conference on Software Engineering and Formal Methods (SEFM'03), IEEE Computer Society Press, September 2003. 
Summary: A description of an interface from ASMs to multiway decision graphs (MDGs), permitted automated verification of the resulting MDG models. A case study involving the Island Tunnel Controller is included. 
Subjects: Mechanical Verification, Benchmark Examples 
Download: From the author's homepage in PostScript
Notes: An extension of earlier work