Compositional Verification using SVL Scripts

Frédéric Lang

Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS2002 (Grenoble, France), April 2002

Abstract:

This paper presents SVL, a scripting language (and its compiler) for verification using the CADP and FC2 tools. It illustrates with two examples how concise scripts can be written in SVL to perform compositional verification.

5 pages

PDF

PostScript

Cumulated slides about SVL by H. Garavel and F. Lang

PDF