PostScript
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 | |
PostScript |
| Cumulated slides about SVL by H. Garavel and F. Lang | |