An embedding of Timed Transition Systems in HOL
- 1 August 1993
- journal article
- research article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 3 (1-2) , 151-174
- https://doi.org/10.1007/bf01383987
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Constructing the real numbers in HOLPublished by Elsevier ,1993
- A Sequent Formulation of a Logic of Predicates in HOLPublished by Elsevier ,1993
- Real theorem provers deserve real user-interfacesACM SIGSOFT Software Engineering Notes, 1992
- Timed transition systemsPublished by Springer Nature ,1992
- Temporal proof methodologies for real-time systemsPublished by Association for Computing Machinery (ACM) ,1991