Towards a duration calculus proof assistant in PVS

This publication has 10 references indexed in Scilit:

• A hardware semantics based on temporal intervals
  Published by Springer Nature ,2005
• An embedding of Timed Transition Systems in HOL
  Formal Methods in System Design, 1993
• A Sequent Formulation of a Logic of Predicates in HOL
  Published by Elsevier ,1993
• Mechanical verification of concurrent systems with TLA
  Published by Springer Nature ,1993
• Specifying and verifying requirements of real-time systems
  IEEE Transactions on Software Engineering, 1993
• Semantics and completeness of Duration Calculus
  Published by Springer Nature ,1992
• A calculus of durations
  Information Processing Letters, 1991
• Mechanizing Programming Logics in Higher Order Logic
  Published by Springer Nature ,1989
• HOL: A Proof Generating System for Higher-Order Logic
  Published by Springer Nature ,1988
• An axiomatic basis for computer programming
  Communications of the ACM, 1969