Optimistic synchronization-based state-space reduction

DOI10.1007/S10703-006-0003-4MaRDI QIDQ853724zbMATH OpenOpenAlexFDO

Authors Scott D. Stoller, Ernie Cohen

Publication date 17 November 2006

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

Full work available at URL https://doi.org/10.1007/s10703-006-0003-4

zbMATH Keywords

model checkingreductionomega algebrapartial-order methods

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1956603
• Static analysis for state-space reductions preserving temporal logics
• Partial-Order Reduction
• Relaxed visibility enhances partial order reduction
• scientific article; zbMATH DE number 2087620

Cites work

• scientific article; zbMATH DE number 1612485 (Why is no real title available?)
• scientific article; zbMATH DE number 1059329 (Why is no real title available?)
• scientific article; zbMATH DE number 1956603 (Why is no real title available?)
• scientific article; zbMATH DE number 2087551 (Why is no real title available?)
• scientific article; zbMATH DE number 1903353 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• Eraser
• Model checking JAVA programs using JAVA PathFinder
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Reduction
• Transactions for software model checking

Cited in

(5)

• scientific article; zbMATH DE number 1418461 (Why is no real title available?)
• scientific article; zbMATH DE number 4050939 (Why is no real title available?)
• scientific article; zbMATH DE number 1956603 (Why is no real title available?)
• Compositional state space reduction using untangled actions
• State space reduction for dynamic process creation

Describes a project that uses

Uses Software

• Eraser
• Java PathFinder
• SPIN
• veriSoft

This page was built for publication: Optimistic synchronization-based state-space reduction

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