Synchronous Languages at VERIMAG

Lustre V4 / Lesar Distribution

The LUSTRE compiler and the LESAR verification tool are jointly distributed for free.
Supported platforms are sparc/solaris, ix86/linux, ix86/Windows+cygwin, ix86+ppc/Mac OSX.
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.

Synchronous Programming at Verimag

January 15th, 2001

Verimag

Synchronous
programming

Research
topics

Publications

Tools

People

Industrial
Cooperations

Academic
Cooperations

Projects/
Contracts