On commutativity based edge lean search

DOI10.1007/S10472-009-9167-0zbMATH Open1185.68407OpenAlexW2131630051MaRDI QIDQ2268917FDOQ2268917

Authors: Dragan Bošnački, Edith Elkind, Blaise Genest, Doron Peled 

Publication date: 15 March 2010

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-009-9167-0

Recommendations

• On Commutativity Based Edge Lean Search
• State-Space Search
• Star-topology decoupled state space search
• Heuristic Search for the Analysis of Graph Transition Systems
• On the Complexity of Commutativity Analysis

zbMATH Keywords

state space search

Mathematics Subject Classification ID

Artificial intelligence (68T99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• A stubborn attack on state explosion
• Ordering by Divisibility in Abstract Algebras
• Using partial orders for the efficient verification of deadlock freedom and safety properties

Cited In (1)

• On Commutativity Based Edge Lean Search

This page was built for publication: On commutativity based edge lean search

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