Optimistic synchronization-based state-space reduction

DOI10.1007/s10703-006-0003-4zbMath1103.68640OpenAlexW2065568022MaRDI QIDQ853724

Ernie Cohen, Scott D. Stoller

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

reductionmodel checkingomega algebrapartial-order methods

Mathematics Subject Classification ID

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

Uses Software

• veriSoft
• SPIN
• Java PathFinder
• Eraser

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Eraser
• A completeness theorem for Kleene algebras and the algebra of regular events
• Model checking JAVA programs using JAVA PathFinder
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Reduction

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