[an error occurred while processing this directive]
[an error occurred while processing this directive]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 |
Notes: |