An embedding of timed transition systems in \(HOL\)

DOI10.1007/BF01383987zbMath0782.68079MaRDI QIDQ1309256

Rachel Cardell-Oliver, John H. Herbert, Roger Hale

Publication date: 13 March 1994

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

HOL theorem prover; specifying and reasoning about real-time systems

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Proof assistance for real-time systems using an interactive theorem prover

Uses Software

• HOL

Cites Work

• Temporal proof methodologies for timed transition systems