Translating specifications in VDM-SL to PVS

This publication has 8 references indexed in Scilit:

• A theory of finite maps
  Published by Springer Nature ,1995
• LCF examples in HOL
  The Computer Journal, 1995
• A HOL Basis for Reasoning about Functional Programs
  BRICS Report Series, 1994
• The IFAD VDM-SL toolbox
  ACM SIGPLAN Notices, 1994
• Proof in VDM: A Practitioner’s Guide
  Published by Springer Nature ,1994
• Isabelle
  Published by Springer Nature ,1994
• Non-determinism in Functional Languages
  The Computer Journal, 1992
• The VDM-SL Reference Guide
  Published by Taylor & Francis ,1991