Partial-order reduction techniques for real-time model checking

DOI10.1007/S001650050028zbMath0952.68070OpenAlexW2093681800MaRDI QIDQ1125430

Rob Gerth, Bart Knaack, Dennis Dams, Ruurd Kuiper

Publication date: 14 January 2001

Published in: Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

coveringreal-time systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (3)

Covering Steps Graphs of Time Petri Nets ⋮ A partial order semantics approach to the clock explosion problem of timed automata ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?

This page was built for publication: Partial-order reduction techniques for real-time model checking