Exploring the Scope for Partial Order Reduction

DOI10.1007/978-3-642-04761-9_4zbMath1262.68120OpenAlexW2140038789MaRDI QIDQ3648689

Antti Valmari, J. Geldenhuys, Henri Hansen

Publication date: 1 December 2009

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04761-9_4

Mathematics Subject Classification ID

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

Related Items (1)

Dynamical modeling and analysis of large cellular regulatory networks

Uses Software

• BEEM

Cites Work

• Unnamed Item
• A stubborn attack on state explosion
• State space reduction using partial order techniques
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Dynamic partial-order reduction for model checking software
• Relaxed visibility enhances partial order reduction

This page was built for publication: Exploring the Scope for Partial Order Reduction