C. Baier
J.P. Katoen
2008
Principles of Model Checking
The MIT Press
J. Barnat
L. Brim
P. Ročkai
2010
Scalable Shared Memory LTL Model Checking
STTT
12
2
139–153
10.1007/s10009-010-0136-z
J. Barnat
L. Brim
M. Češka
P. Ročkai
2010
DiVinE: Parallel Distributed Model Checker (Tool paper)
Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology (HiBi/PDMC 2010)
IEEE
4–7
10.1007/978-3-540-88387-6_20
L. Barnat
L. Brim
P. Ročkai
2009
A Time-Optimal On-The-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
ICFEM 2009
LNCS
5885
Springer, Heidelberg
407–425
10.1007/978-3-642-10373-5_21
L. Brim
I. Cerná
P. Moravec
J. Simsa
2004
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking
A.J. Hu
A.K. Martin
FMCAD
Lecture Notes in Computer Science
3312
Springer
352–366
10.1007/978-3-540-30494-4_25
C. Courcoubetis
M.Y. Vardi
P. Wolper
M. Yannakakis
1992
Memory-Efficient Algorithms for the Verification of Temporal Properties
Formal Methods in System Design
1
2/3
275–288
10.1007/BFb0023737
S. Evangelista
L. Petrucci
S. Youcef
2011
Parallel Nested Depth-First Searches for LTL Model Checking
T. Bultan
P.-A. Hsiung
Automated Technology for Verification and Analysis 2011
Lecture Notes in Computer Science
6996
Springer
381–396
10.1007/978-3-642-24372-1_27
S. Evangelista
L. Petrucci
S. Youcef
Last accessed 15 Sept 2011
Parallel Nested Depth-First Searches for LTL Model Checking
Technical Report
Université Paris 13
http://www-lipn.univ-paris13.fr/~evangelista/doc/mc-ndfs.pdf
A. Gaiser
S. Schwoon
2009
Comparison of Algorithms for Checking Emptiness on Büchi Automata
P. Hlinený
V. Matyáš
T. Vojnar
MEMICS'09
OpenAccess Series in Informatics (OASIcs)
13
Schloss Dagstuhl, Germany
10.4230/DROPS.MEMICS.2009.2349
G.J. Holzmann
R. Joshi
A. Groce
2008
Swarm Verification
ASE
IEEE
L'Aquila, Italy
1–6
10.1109/ASE.2008.9
G.J. Holzmann
D. Peled
M. Yannakakis
1996
On Nested Depth First Search
The SPIN Verification System
American Mathematical Society
23–32
A.E.J. Hyvärinen
T.A. Junttila
I. Niemelä
2008
Strategies for Solving SAT in Grids by Randomized Search
S. Autexier
J. Campbell
J. Rubio
V. Sorge
M. Suzuki
F. Wiedijk
AISC/MKM/Calculemus
LNCS 5144
Springer
125–140
10.1007/978-3-540-85110-3_11
A.W. Laarman
R. Langerak
J.C. van de Pol
M. Weber
A. Wijs
2011
Multi-Core Nested Depth-First Search
T. Bultan
P.-A. Hsiung
Automated Technology for Verification and Analysis 2011
Lecture Notes in Computer Science
6996
Springer
321–335
10.1007/978-3-642-24372-1_23
A.W. Laarman
J.C. van de Pol
M. Weber
2011
Parallel Recursive State Compression for Free
A. Groce
M. Musuvathi
SPIN
Lecture Notes in Computer Science
6823
Springer
Snowbird, USA
38–56
10.1007/978-3-642-22306-8_4
A.W. Laarman
J.C. van de Pol
M. Weber
2010
Boosting Multi-Core Reachability Performance with Shared Hash Tables
N. Sharygina
R. Bloem
Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design, Lugano, Swiss
IEEE Computer Society
USA
247–256
http://eprints.eemcs.utwente.nl/18437/
A.W. Laarman
J.C. van de Pol
M. Weber
2011
Multi-Core LTSmin: Marrying Modularity and Scalability
M. Bobaru
K. Havelund
G. Holzmann
R. Joshi
Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, Pasadena, CA, USA
LNCS
6617
Springer Verlag
Berlin
506–511
10.1007/978-3-642-20398-5_40
R. Pelánek
2007
BEEM: Benchmarks for Explicit Model Checkers
Proc. of SPIN Workshop
LNCS
4595
Springer
263–267
10.1007/978-3-540-73370-6_17
J.H. Reif
1985
Depth-first Search is Inherently Sequential
Information Processing Letters
20
5
229–234
10.1016/0020-0190(85)90024-9
S. Schwoon
J. Esparza
2005
A Note on On-the-Fly Verification Algorithms
Nicolas Halbwachs
Lenore D. Zuck
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science
3440
Springer
174–190
10.1007/978-3-540-31980-1_12
M.Y. Vardi
P. Wolper
1986
An Automata-Theoretic Approach to Automatic Program Verification
Proc. 1st Symp. on Logic in Computer Science
Cambridge
332–344
http://www.cs.rice.edu/~vardi/papers/lics86.pdf.gz
I. Černá
R. Pelánek
2003
Distributed Explicit Fair Cycle Detection (Set Based Approach)
T. Ball
S.K. Rajamani
SPIN
Lecture Notes in Computer Science
2648
Springer
49–73
10.1007/3-540-44829-2_4