Verisoft: A tool for the automatic analysis of concurrent reactive software

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

Volumn 1254, Issue , 1997, Pages 476-479

  Godefroid, Patrice ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS;

AUTOMATIC ANALYSIS; CONCURRENT PROCESS; CONCURRENT SYSTEMS; COORDINATION PROBLEMS; GRAPHICAL SIMULATORS; REACTIVE SOFTWARE; VERISOFT;

C++ (PROGRAMMING LANGUAGE);

EID: 84947443392     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63166-6_52     Document Type: Conference Paper

References (14)

1. B. Boigetot and P. Godefroid. Model checking in practice: An analysis of the ACCESS. bus protocol using SPIN. In Proceedings of Formal Methods Europe'96, volume 1051 of Lecture Notes in Computer Science, pages 465-478, Oxford, March 1996. Springer-Verlag.
2. E. M. Clarke, O. Grumberg, It. Hiraishi, S. Jha, D. E. Long, K. L. McMillan, and L. A. Ness. Verification of the Futurebus+ cache coherence protocol. In Proceedings of the Eleventh International Symposium on Computer Hardware Description Languages and Their Aplications. North-Holland, 1993.
3. R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systeras, 1(15):36-72, 1993.
4. D. L. Dill, A. J. Drexler, A. J. Hu, and C. H. Yang. Protocol verification as a hardware design aid. In 1992 IEEE International Conference on Computer Design: VLSI in Computers and Processors, pages 522-525, Cambridge, MA, October 1992. IEEE Computer Society.
5. J.C. Fernandez, H. Garavel, L. Mounter, A. Rasse, C. Rodriguez, and J. Sifakis. A toolbox for the verification of LOTOS programs. In Proc. of the l8th International Conference on Software Engineering ICSE'14, Melbourne, Australia, May 1992. ACM.
6. A. R. Flora-Holmquist and M. Staskauskas. Formal validation of virtual finite state machines. In Proc. Workshop on Industrial-Strength Formal Specification Techniques (SVIFT'95), pages 122-129, Boca Raton, April 1995.
7. Patrlce Godefroid. Partial-Order Methods for the Verification of Concurrent Systems-An Approach to the State-Explosion Problem, volume 1032 of Lecture Notes in Computer Science. Springer-Verlag, January 1996.
8. P. Godefroid. Model Checking for Programming Languages using VeriSoft. In Proceedings of the 21th ACM Symposium on Principles of Programming Languages, pages 174-186, Paris, January 1997.
9. Z. Har'E1 and R. P. Kurshan. Software for analytical development of communication protocols. AT&T Technical Journal, 1990.
10. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
11. L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, SE-3(2):125-143, 1977.
12. K. L. McMinan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
13. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
14. H. Rudin. Protocol development success stories: Part I. In Proc. 12th IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification, Lake Buena Vista, Florida, June 1992. North-Holland.