Distributed-memory model checking with SPIN

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

Volumn 1680, Issue , 1999, Pages 22-39

  Lerda, Flavio ^a   Sisto, Riccardo ^a  

^a POLITECNICO DI TORINO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MEMORY ARCHITECTURE;

COMPLEXITY REDUCTION; DISTRIBUTED MEMORY; DISTRIBUTED MEMORY MODEL CHECKING; EXECUTION ENVIRONMENTS; MODEL CHECKER; NETWORK OF WORKSTATIONS; PHYSICAL MEMORY; SAFETY PROPERTY;

MODEL CHECKING;

EID: 22844454480     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48234-2_3     Document Type: Conference Paper

References (8)

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 4056, Berlin, Germany, August 1987. Springer-Verlag.
2. D. L. Dill. The murphi verification system. In Rajeev Alur and Thomas A. Henzinger, editors, Proceedings of the Eighth International Conference on Computer Aided Verification CAV, volume 1102 of Lecture Notes in Computer Science, pages 390-393, New Brunswick, NJ, USA, July/August 1996. Springer Verlag.
3. J. Greenfield. An overview of the PVM software system. In Ideas in Science and Electronics Exposition and Symposium. Proceedings: Albuquerque, NM, USA, May 1995, volume 17 of Annual Ideas in Science and Electronics Exposition and Symposium Conference, pages 17-23. IEEE Computer Society Press, 1995.
4. G. J. Holzmann. The model checker spin. IEEE Trans. on Software Engineering, 23(5):279-295, May 1997.
5. G. J. Holzmann, P. Godefroid, and D. Pirottin. Coverage preserving reduction strategies for reachability analysis. In Proc. 12th Int. Conf on Protocol Specification, Testing, and Verification, INWG/IFIP, Orlando, Fl., June 1992.
6. G. J. Holzmann and Doron Peled. An improvement in formal verification. In Proc. Formal Description Techniques, FORTE94, pages 197-211, Berne, Switzerland, October 1994. Chapman & Hall.
7. D. M. Nicol. Noncommittal barrier synchronization. Parallel Computing, 21(4):529-549, April 1995.
8. U. Stern and D. L. Dill. Parallelizing the murphi verifier. In Proceedings of the Nineth International Conference on Computer Aided Verification CAV, 1997.