Fighting state space explosion: Review and evaluation (2008)

by Radek Pelánek
Venue:In Proc. of Formal Methods for Industrial Critical Systems (FMICS’08
Citations:8 - 3 self

Active Bibliography

3023 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
7 Model Classifications and Automated Verification – Radek Pelánek - 2007
1448 The model checker SPIN – Gerard J. Holzmann - 1997
775 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
552 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
1258 Temporal and modal logic – E. Allen Emerson - 1995
2490 A theory of timed automata – Rajeev Alur - 1999
428 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
364 Reachability Analysis of Pushdown Automata: Application to Model-Checking – Ahmed Bouajjani, Javier Esparza, Oded Maler - 1997