Parallel nested depth-first searches for LTL model checking
DOI10.1007/978-3-642-24372-1_27zbMATH Open1348.68134OpenAlexW2287508180MaRDI QIDQ3172928FDOQ3172928
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
Recommendations
- Improved multi-core nested depth-first search
- Multi-core nested depth-first search
- An experiment on parallel model checking of a CTL fragment
- Distributed breadth-first search LTL model checking
- [[:Publication:4356435|Title not available (Why is that?)]]
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (6)
- Distributed breadth-first search LTL model checking
- More scalable LTL model checking via discovering design-space dependencies \((D^3)\)
- Combining search space partition and abstraction for LTL model checking
- Parallel model checking for \texttt{LTL}, \texttt{CTL}\(^*\), and \(L^2_{\mu}\)
- Finding strongly connected components of simple digraphs based on granulation strategy
- Automated Verification of Parallel Nested DFS
Uses Software
This page was built for publication: Parallel nested depth-first searches for LTL model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172928)
