Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

DOI10.1007/b100824zbMath1109.68519OpenAlexW4206454994MaRDI QIDQ5464768

Nicolas Markey, Philippe Schnoebelen

Publication date: 19 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (2)

Efficient timed model checking for discrete-time systems ⋮ Algorithms for monitoring real-time properties

Uses Software

• Kronos
• NuSMV
• Uppaal
• RAVEN

This page was built for publication: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems