Home > Verimag > Tools

Lustre V6

Software distribution and licensing: Open-source distribution
Software maturity: Well-tested software, good documentation
Software Maintenance and Evolution: Active maintenance, plans for future evolution

Lustre V6 is the last version of the academic Lustre compiler, featuring an ada-like package mechanism, structured data-types (enums, structures), array iterators, and static recursion.

The gitlab project hosting the lustre v6 sources is accessible from: https://gricad-gitlab.univ-grenoble...

Documents

The Lustre V4 toolbox (luciole, lesar, ecexe)

The Lustre V6 toolbox (lus2lic, lurette, rdbg)

The Lustre V6 reference manual

The Lustre V6 grammar rules

New publications

Some Recent Publications (Ressources Partagées)
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing Synchronous Unison in Directed Networks
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne: A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing synchronous unison in directed networks
- Erwan Jahier, Karine Altisen, Stéphane Devismes: Exploring Worst Cases of Self-stabilizing Algorithms using Simulations
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna: Model Checking of Distributed Algorithms using Synchronous Programs
- Léo Gourdin: Lazy Code Transformations in a Formally Verified Compiler
- Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, Gabriel Radanne, Pascal Raymond: Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: On Self-stabilizing Leader Election in Directed Networks

Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4159437

UGA

CNRS

INP Grenoble