Compositional verification using SVL scripts

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

Volumn 2280 LNCS, Issue , 2002, Pages 465-469

  Lang, Frederic ^a  

^a INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33646752313     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46002-0_33     Document Type: Conference Paper

References (8)

1. A. Bouali, A. Ressouche, V. Roy, and R. de Simone. The Fc2Tools set: a Toolset for the Verification of Concurrent Systems. In CAV'96, LNCS Vol. 1102.
2. S. Bainbridge and L. Mounier. Specification and Verification of a Reliable Multicast Protocol. Technical Report HPL-91-163, HP Labs, Bristol, 1991.
3. J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. CADP (CÆSAR/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox. In CAV'96, LNCS Vol. 1102.
4. H. Garavel and F. Lang. SVL: a Scripting Language for Compositional Verification. In FORTE'01 (Kluwer) and INRIA Research Report RR-4223.
5. H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. INRIA Technical Report RT-0254, 2001.
6. S. Graf and B. Steffen. Compositional Minimization of Finite State Systems. In CAV'90, LNCS Vol. 531.
7. J.-P. Krimm and L. Mounier. Compositional State Space Generation from LOTOS Programs. In TACAS'97, LNCS Vol. 1217.
8. J. Romijn. Model Checking the HAVi Leader Election Protocol. Technical Report SEN-R9915, CWI, Amsterdam, 1999.