A proof obligation generator for VDM-SL
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 338-357
- https://doi.org/10.1007/3-540-63533-5_18
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A proof obligation generator for VDM-SLPublished by Springer Nature ,1997
- Towards an Integrated CASE and theorem proving tool for VDM-SLPublished by Springer Nature ,1997
- An Isabelle-based theorem prover for VDM-SLPublished by Springer Nature ,1997
- Computer-aided validation of formal specificationsSoftware Engineering Journal, 1995
- The IFAD VDM-SL toolboxACM SIGPLAN Notices, 1994
- An overview of the ISO/VDM-SL standardACM SIGPLAN Notices, 1992
- Z and EvesPublished by Springer Nature ,1992
- An approach to the static semantics of VDM-SLPublished by Springer Nature ,1991
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- An axiomatic basis for computer programmingCommunications of the ACM, 1969