Relaxed visibility enhances partial order reduction

DOI10.1023/A:1011202615884MaRDI QIDQ5949489zbMATH OpenFDO

Authors Doron Peled, Antti Valmari, Ilkka Kokkarinen

Publication date 23 October 2002

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1011202615884

zbMATH Keywords

automatic verificationconcurrent systemsmodel-checkingstate-space explosion

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Distributed partial order reduction of state spaces
• Transparent partial order reduction
• scientific article; zbMATH DE number 1497783
• Partial-Order Reduction
• scientific article; zbMATH DE number 2087625

Cited in

(14)

• On stubborn sets in the verification of linear time temporal properties
• Automata-driven partial order reduction and guided search for LTL model checking
• Partial order reduction for verification of spatial properties of pi-calculus processes
• Distributed partial order reduction of state spaces
• Partial-Order Reduction
• Exploring the scope for partial order reduction
• scientific article; zbMATH DE number 1956603 (Why is no real title available?)
• scientific article; zbMATH DE number 1497783 (Why is no real title available?)
• scientific article; zbMATH DE number 1515293 (Why is no real title available?)
• Transparent partial order reduction
• On Stubborn Sets in the Verification of Linear Time Temporal Properties
• Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods
• Optimistic synchronization-based state-space reduction
• Question-guided stubborn set methods for state properties

This page was built for publication: Relaxed visibility enhances partial order reduction

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