Home > Teams > Synchrone > 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.

Documents

The Lustre V4 toolbox (luciole, lesar, ecexe)

The Lustre V6 toolbox (lus2lic, lurette, rdbg)

New publications

Recent Publications
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem: Improved Learning for Stochastic Timed Models by State-Merging Algorithms
- Maxime Puys, Marie-Laure Potet, Abdelaziz Khaled: Generation of Applicative Attacks Scenarios Against Industrial Systems
- Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch: Formally Verifying Flow Properties in Industrial Systems
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem: \emphS BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
- Jonthan Salwan, Sebastien Bardin, Marie-Laure Potet: Binary Deobfuscation and Dynamic Symbolic Execution
- Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont De Dinechin: Parallel Code Generation of Synchronous Programs for a Many-core Architecture

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

info visites 1094278

CNRS

INP Grenoble