Compositional Verification using SVL Scripts
Proceedings of the International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS2002 (Grenoble, France), April 2002
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.
|Cumulated slides about SVL by H. Garavel and F. Lang