On commutativity based edge lean search

DOI10.1007/S10472-009-9167-0MaRDI QIDQ2268917zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• A stubborn attack on state explosion
• Ordering by Divisibility in Abstract Algebras
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• 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)