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

DOI10.1007/BF01383987zbMath0782.68079OpenAlexW3021213848MaRDI QIDQ1309256

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

Publication date: 13 March 1994

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

Full work available at URL: https://doi.org/10.1007/bf01383987

zbMATH Keywords

HOL theorem proverspecifying and reasoning about real-time systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

On the semantics of polychronous polytimed specifications ⋮ Proof assistance for real-time systems using an interactive theorem prover

Uses Software

• HOL

Cites Work

• Temporal proof methodologies for timed transition systems

This page was built for publication: An embedding of timed transition systems in \(HOL\)