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

Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

KIV and the WAM Case Study


Citation: Gerhard Schellhorn and Wolfgang Ahrendt, "Reasoning about Abstract State Machines: The WAM Case Study", Journal of Universal Computer Science, vol. 3, no. 4 (1997), 377--413.
Summary: The authors apply the KIV (Karlsruhe Interactive Verifier) system to mechanically verify the proof of correctness of Börger and Rosenzweig's hierarchy of ASMs refining Prolog to WAM.
Subjects: Mechanical Verification, WAM / Logic Programming
Download: PostScript, PDF, Compressed PostScript
Notes: Courtesy of Springer-Verlag.
[an error occurred while processing this directive]