State Compression in SPIN: Recursive Indexing And Compression Training Runs (1997)

by Gerard J. Holzmann
Venue:IN PROCEEDINGS OF THIRD INTERNATIONAL SPIN WORKSHOP
Citations:40 - 1 self

Documents Related by Co-Citation

2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1254 The model checker SPIN – Gerard J. Holzmann - 1997
34 Symmetric Spin – Dragan Bosnacki, Dennis Dams, Leszek Holenderski - 2000
38 Symmetry Reduction Criteria for Software Model Checking – R Iosif - 2002
44 A Sweep-Line Method for State Space Exploration – Soren Christensen, Lars Michael Kristensen, Thomas Mailund, Lars Michael - 2001
20 To Store or Not to Store – G Behrmann, K G Larsen, R Pelánek - 2003
14 Exploiting Transition Locality in Automatic Verification – Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa, Marisa Venturini Zilli - 2001
82 An Analysis of Bitstate Hashing – Gerard J. Holzmann - 1995
42 dSPIN: A Dynamic Extension of SPIN – Claudio Demartini, Radu Iosif, Riccardo Sisto - 1999
567 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
185 Better Verification Through Symmetry – C. Norris Ip , David L. Dill - 1996
36 Addressing Dynamic Issues of Program Model Checking – Flavio Lerda, Willem Visser
1297 Symbolic Model Checking – K L McMillan - 1993
68 Bogor: An Extensible and Highly-Modular Model Checking Framework – Robby, Matthew Dwyer, John Hatcliff - 2003
462 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
21 Typical structural properties of state spaces – Radek Pelánek - 2004
39 BEEM: Benchmarks for explicit model checkers – Radek Pelánek - 2007
34 Using Magnetic Disk instead of Main Memory in the Mur phi Verifier – Ulrich Stern, David L. Dill - 1998
12 State caching reconsidered – J Geldenhuys