Subtypes for specifications: predicate subtyping in PVS

This publication has 18 references indexed in Scilit:

• Integration in PVS: Tables, types, and model checking
  Published by Springer Nature ,1997
• Type systems
  ACM Computing Surveys, 1996
• On Shostak's decision procedure for combinations of theories
  Published by Springer Nature ,1996
• Automated deduction and formal methods
  Published by Springer Nature ,1996
• Inheritance as implicit coercion
  Information and Computation, 1991
• Specification and verification using dependent types
  IEEE Transactions on Software Engineering, 1990
• A logic covering undefinedness in program proofs
  Acta Informatica, 1984
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940
• The Foundations of Mathematics
  Proceedings of the London Mathematical Society, 1926
• Mathematical Logic as Based on the Theory of Types
  American Journal of Mathematics, 1908