Partial order reduction for model checking of timed automata

DOI10.1007/3-540-48320-9_30MaRDI QIDQ4270073zbMATH OpenFDO

Authors M. Minea

Publication date 20 December 1999

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

Full work available at URL https://doi.org/10.1007/3-540-48320-9_30

zbMATH Keywords

networks of timed automatapartial order reduction method

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Partial-order reduction techniques for real-time model checking
• scientific article; zbMATH DE number 2087625
• Model checking of time Petri nets based on partial order semantics
• Urgent Partial Order Reduction for Extended Timed Automata
• Partial order reduction for checking soundness of time workflow nets
• Formal verification of a partial-order reduction technique for model checking
• Partial order reduction for checking LTL formulae with the next-time operator
• Partial order path technique for checking parallel timed automata
• Automata-driven partial order reduction and guided search for LTL model checking
• SAT based bounded model checking with partial order semantics for timed automata

Cited in

(30)

• Partial-order reduction techniques for real-time model checking
• Decidable verification for reducible timed automata specified in a first order logic with time
• Delay-dependent partial order reduction technique for real time systems
• Product interval automata
• A partial order approach to branching time logic model checking.
• A partial order semantics approach to the clock explosion problem of timed automata
• Modular synthesis of timed circuits using partial orders on LPNs
• Partial model checking using networks of labelled transition systems and Boolean equation systems
• Statistical Model Checking for Networks of Priced Timed Automata
• Model Checking Real-Time Systems
• Partial Order Reduction for Verification of Real-Time Components
• Timed Unfoldings for Networks of Timed Automata
• Partial Order Reduction for State/Event LTL
• scientific article; zbMATH DE number 2087625 (Why is no real title available?)
• Structural transformations for data-enriched real-time systems
• Partial order reduction for checking soundness of time workflow nets
• Dynamic partial-order reduction for model checking software
• Tools and Algorithms for the Construction and Analysis of Systems
• Partial order path technique for checking parallel timed automata
• Automated Technology for Verification and Analysis
• Automated Technology for Verification and Analysis
• Delay-Dependent Partial Order Reduction Technique for Time Petri Nets
• Revisiting local time semantics for networks of timed automata
• Start pruning when time gets urgent: partial order reduction for timed systems
• Urgent Partial Order Reduction for Extended Timed Automata
• Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods
• Partial order reductions for timed systems
• Optimising the ProB model checker for B using partial order reduction
• Stubborn set reduction for timed reachability and safety games
• Automatic generation of path conditions for concurrent timed systems

This page was built for publication: Partial order reduction for model checking of timed automata

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