Partial-order reduction techniques for real-time model checking

DOI10.1007/S001650050028MaRDI QIDQ1125430zbMATH OpenOpenAlexFDO

Authors Dennis Dams, Rob Gerth, Bart Knaack, 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)

Recommendations

• Partial Order Reduction for Verification of Real-Time Components
• scientific article; zbMATH DE number 1361136
• Delay-dependent partial order reduction technique for real time systems
• scientific article; zbMATH DE number 1507206
• A partial order approach to branching time logic model checking.

Cited in

(10)

• Zone-based verification of timed automata: extrapolations, simulations and what next?
• A partial order semantics approach to the clock explosion problem of timed automata
• Partial Order Reduction for Verification of Real-Time Components
• Partial Order Reduction for State/Event LTL
• scientific article; zbMATH DE number 1361136 (Why is no real title available?)
• scientific article; zbMATH DE number 2087625 (Why is no real title available?)
• A Study of Model-Order Reduction Techniques for Verification
• Covering steps graphs of time Petri nets
• Dynamic partial-order reduction for model checking software
• Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1125430)