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

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Fairisle ATM Model Checking Case Study


Citation: Yassine Mokhtari, Meral Shirazipour, and Sofiène Tahar, "A Case Study on Model Checking and Refinement of Abstract State Machines". In R. Moreno-Díaz and A. Quesada-Arencibia, eds., Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001), Universidad de Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001, 239-242.
Summary: A description of a case study applying ASM-SMV model checking techniques to the Fairisle ATM switch.
Subjects: Mechanical Verification
Download: From Sofiène Tahar's home page in PostScript.
Notes:  
[an error occurred while processing this directive]