Parallel Nested Depth-First Searches for LTL Model Checking

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

Laure Petrucci, Sami Evangelista, Samir Youcef

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

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

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

Uses Software

• SPIN
• DiVinE
• BEEM