Model-checking for real-time systems
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- HyTech: The Cornell Hybrid Technology ToolPublished by Springer Nature ,1995
- Synthesizing distinguishing formulae for real time systems -extended abstractPublished by Springer Nature ,1995
- Compositional model checking of real time systemsPublished by Springer Nature ,1995
- Delay analysis in synchronous programsPublished by Springer Nature ,1993
- Verification of real-time systems using PVSPublished by Springer Nature ,1993
- Timed modal specification — Theory and toolsPublished by Springer Nature ,1993
- An old-fashioned recipe for real timePublished by Springer Nature ,1992
- The use of static constructs in a model process logicLecture Notes in Computer Science, 1989
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955