An iterative approach to verification of real-time systems

DOI10.1007/BF01384315zbMath0829.68050OpenAlexW2021739335WikidataQ57380879 ScholiaQ57380879MaRDI QIDQ1346652

Alberto L. Sangiovanni-Vincentelli, Felice Balarin

Publication date: 10 April 1995

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

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

zbMATH Keywords

real-time systemsregion automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items

An iterative approach to verification of real-time systems, Compositional SCC analysis for language emptiness

Cites Work

• Symbolic model checking for real-time systems
• An iterative approach to verification of real-time systems
• Timing verification by successive approximation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item