Partial-order reduction in symbolic state-space exploration
From MaRDI portal
Publication:5943258
DOI10.1023/A:1008767206905zbMath1001.68080MaRDI QIDQ5943258
Thomas A. Henzinger, Rajeev Alur, Sriram K. Rajamani, Shaz Qadeer, Robert K. Brayton
Publication date: 9 September 2001
Published in: Formal Methods in System Design (Search for Journal in Brave)
Related Items
Partial-Order Reduction ⋮ Symmetry and partial order reduction techniques in model checking Rebeca ⋮ Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers ⋮ Exploiting interleaving semantics in symbolic state-space generation ⋮ Dynamic Reductions for Model Checking Concurrent Software ⋮ Formal communication elimination and sequentialization equivalence proofs for distributed system models ⋮ Boosting Lazy Abstraction for SystemC with Partial Order Reduction ⋮ Tree regular model checking: a simulation-based approach ⋮ Approximate partial order reduction ⋮ Survey on Directed Model Checking ⋮ Specification Languages for Stutter-Invariant Regular Properties ⋮ Compositional State Space Reduction Using Untangled Actions ⋮ Formal Sequentialization of Distributed Systems via Program Rewriting ⋮ Partial Order Reduction for Rewriting Semantics of Programming Languages
