Principles and Pragmatics of Subtyping in PVS

This publication has 8 references indexed in Scilit:

• Should your specification language be typed
  ACM Transactions on Programming Languages and Systems, 1999
• Casl: A Guided Tour of Its Design
  Published by Springer Nature ,1999
• Subtypes for specifications: predicate subtyping in PVS
  IEEE Transactions on Software Engineering, 1998
• A comparison of PVS and Isabelle/HOL
  Published by Springer Nature ,1998
• Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
  IEEE Transactions on Software Engineering, 1995
• Isabelle
  Published by Springer Nature ,1994
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940