CADP: A protocol validation and verification toolbox

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

Volumn 1102, Issue , 1996, Pages 437-440

  Fernandez, Jean Claude ^a   Garavel, Hubert ^a   Kerbrat, Aain ^a   Mounier, Laurent ^a   Mateescu, Radu ^a   Sighireanu, Mihaela ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957379824     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61474-5_97     Document Type: Conference Paper

References (7)

1. Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodríguez, and Joseph Sifakis. A Toolbox for the Verification of LOTOS Programs. In Lori A. Clarke, editor, Proceedings of the 14th International Conference on Software Engineering ICSE’14 (Melbourne, Australia), pages 246-259, New-York, May 1992. ACM.
2. J. CL. Fernandez, C. Jard, T. Jéron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In this book, 1996.
3. Jean-Claude Fernandez, Alain Kerbrat, and Laurent Mounier. Symbolic Equivalence Checldng. In C. Courcoubetis, editor, Proceedings of the 5th Workshop on Computer-Aided Verification (Heraklion, Greece), volume 697 of Lecture Notes in Computer Science, Berfin, June 1993. Springer Verlag.
4. Hubert Garavel. Compilation of LOTOS Abstract Data Types. In Son T. Vuong, editor, Proceedings of the 2nd International Conference on Formal Description Techniques FORTE’89 (Vancouver B.C, Canada), pages 147-162, Amsterdam, December 1989. North-Holland.
5. Hubert Garavel and Laurent Mounier. Specification and Verification of various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Science of Computer Programming, 1996. To appear.
6. Hubert Garavel and Joseph Sifakis. Compilation and Verification of LOTOS Specifications. In L. Logrippo, R. L. Probert, and H. Ural, editors, Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification (Ottawa, Canada), pages 379-394, Amsterdam, June 1990. IFIP, North-Hollando
7. Alain Kerbrat and Slim Ben Atallah. Formal Specification of a Framework for Groupware Development. In G. V. Bochmann, R. Dssouli, and O. Rafiq, editors, Proceedings of the 8th International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol FORTE’95 (Montreal, Quebec, Canada), October 1995. Short paper.