Partial Order Reduction for Verification of Real-Time Components

DOI10.1007/978-3-540-75454-1_16MaRDI QIDQ3510846zbMATH OpenOpenAlexFDO

Authors John Håkansson, Paul Pettersson

Publication date 3 July 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-75454-1_16

Mathematics Subject Classification ID

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

Recommendations

• Partial-order reduction techniques for real-time model checking
• scientific article; zbMATH DE number 1361136
• Urgent Partial Order Reduction for Extended Timed Automata
• Delay-dependent partial order reduction technique for real time systems
• The use of partial-order technique for verification of time Petri nets

Cited in

(10)

• Delay-dependent partial order reduction technique for real time systems
• Partial order path technique for checking parallel timed automata
• Urgent Partial Order Reduction for Extended Timed Automata
• A Study of Model-Order Reduction Techniques for Verification
• Automated Technology for Verification and Analysis
• Structural transformations for data-enriched real-time systems
• Speeding up model checking of timed-models by combining scenario specialization and live component analysis
• Partial order reduction for checking soundness of time workflow nets
• Partial order reductions for timed systems
• Automatic real-time analysis of reactive systems with the PARTS toolset

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Partial Order Reduction for Verification of Real-Time Components

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