| 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. |