Towards an Integrated CASE and theorem proving tool for VDM-SL
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 278-297
- https://doi.org/10.1007/3-540-63533-5_15
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Maintaining consistency under changes to formal specificationsPublished by Springer Nature ,2005
- A proof obligation generator for VDM-SLPublished by Springer Nature ,1997
- An Isabelle-based theorem prover for VDM-SLPublished by Springer Nature ,1997
- Semantics of under-determined expressionsFormal Aspects of Computing, 1996
- Translating specifications in VDM-SL to PVSPublished by Springer Nature ,1996
- Computer-aided validation of formal specificationsSoftware Engineering Journal, 1995
- The IFAD VDM-SL toolboxACM SIGPLAN Notices, 1994
- Proof in VDM: A Practitioner’s GuidePublished by Springer Nature ,1994
- IsabellePublished by Springer Nature ,1994
- A logic covering undefinedness in program proofsActa Informatica, 1984