Parallel Nested Depth-First Searches for LTL Model Checking

DOI10.1007/978-3-642-24372-1_27zbMath1348.68134OpenAlexW2287508180MaRDI QIDQ3172928

Laure Petrucci, Samir Youcef, Sami Evangelista

Publication date: 7 October 2011

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-24372-1_27

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Automated Verification of Parallel Nested DFS, Finding strongly connected components of simple digraphs based on granulation strategy

Uses Software

• SPIN
• DiVinE
• BEEM