Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Verification of ASM Refinements


Citation: Gerhard Schellhorn, "Verification of ASM Refinements Using Generalized Forward Simulation". Journal of Universal Computer Science, vol. 7, no. 11 (2001), 952-979.
Summary: A generic proof method for the correctness of refinements of ASMs based on commuting diagrams. 
Subjects: Verification, Refinement
Download: From jucs.org in PDF
Notes: