Distributed LTL model-checking in SPIN

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2057 LNCS, Issue , 2001, Pages 200-216

  Barnat, Jiri ^a   Brim, Lubos ^a   Stříbrná, Jitka ^b  

^a MASARYK UNIVERSITY   (Czech Republic)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; ALGORITHMS;

DEPTH FIRST SEARCH ALGORITHMS; LTL MODEL-CHECKING;

MODEL CHECKING;

EID: 84894619258     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45139-0_13     Document Type: Conference Paper

References (11)

1. S. Aggarwal, R. Alonso, and C. Courcoubetis. Distributed reachability analysis for protocol verification environments. In P. Varaiya and H. Kurzhanski, editors, Discrete Event Systems: Models and Application, volume 103 of LNCIS, pages 40-56, Berlin, Germany, August 1987. Springer-Verlag.
2. J. Barnat, L. Brim, and J. Stříbrná. Distributed LTL Model-Checking in SPIN. Technical Report FI-MU-10/00, Masaryk Univeristy Brno, 2000.
3. S. Ben-David, T. Heyman, O. Grumberg, and A. Schuster. Scalable distributed on-the-fly symbolic model checking. In third International Conference on Formal methods in Computer-Aided Design (FMCAD'00), Austin, Texas, November 2000.
4. David L. Dill. The murℓ verification system. In Conference on Computer-Aided Verification (CAV '96), Lecture Notes in Computer Science, pages 390-393. Springer-Verlag, July 1996.
5. Tamir Heyman, Danny Geist, Orna Grumberg, and Assaf Schuster. Achieving scalability in parallel reachability analysis of very large circuits. In Orna Grumberg, editor, Computer Aided Verification, 12th International Conference, volume 1855 of Lecture Notes in Computer Science, pages 20-35. Springer-Verlag, June 2000.
6. G.J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
7. Gerard J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997. Special Issue: Formal Methods in Software Practice.
8. F. Lerda and R. Sisto. Distributed-memory model checking with SPIN. In SPIN workshop, number 1680 in LNCS, Berlin, 1999. Springer.
9. Robert Tarjan. Depth first search and linear graph algorithms. SIAM journal on computing, pages 146-160, Januar 1972.
10. U.Stern and D. L. Dill. Parallelizing the murℓ verifier. In O. Grumberg, editor, Proceedings of Computer Aided Verification (CAV '97), volume 1254 of LNCS, pages 256-267, Berlin, Germany, 1997. Springer.
11. P. Wopler and D. Leroy. Reliable hashing without collision detection. In Conference on Computer-Aided Verification (CAV '93), Lecture Notes in Computer Science, pages 59-70. Springer-Verlag, 1993.