Partial order reductions for timed systems

DOI10.1007/BFB0055643MaRDI QIDQ6672043zbMATH OpenFDO

Authors Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi

Publication date 27 January 2025

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1361136
• Urgent Partial Order Reduction for Extended Timed Automata
• Partial Order Reduction for Verification of Real-Time Components
• Delay-dependent partial order reduction technique for real time systems
• Partial-Order Reduction

Cited in

(1)

• Counterfactual explanations for MITL violations

This page was built for publication: Partial order reductions for timed systems

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