Verimag
Home page > Teams > Synchrone > Tools

The Lustre V4 Toolbox

The Lustre Toolbox includes Lustre V4 and the model-checker Lesar.

The LUSTRE compiler and the LESAR verification tool are jointly distributed for free. To get the distribution, please

— send a email to Pascal.Raymond@imag.fr
— and send a filled and signed LICENCE to:

                 Pascal Raymond
                 VERIMAG
                 Centre Equation,  2 av. de Vignate
                 38610 Gieres, France

You will get the path to the distribution by email.


Contact | Site Map | Site created with SPIP 2.1.13 + AHUNTSIC [CC License]

Logged in visitors: 244 ; visits: 206343