PVS Representation

Citation: Axel Dold, "A Formal Representation of Abstract State Machines Using PVS". Verifix Technical Report Ulm/6.2, Universitat Ulm, July 1998.
Summary: A technique for formally representing ASMs using the automated verification system PVS is described, along with generic PVS theories which define refinement relations between ASMs.
Subjects: Mechanical Verification
Download: PostScript, PDF, Compressed PostScript