Verimag

The Lustre V4 Toolbox

  • Software distribution and licensing: Public binary distribution
  • Software maturity: Well-tested software, good documentation
  • Software Maintenance and Evolution: Basic maintenance to keep the software alive, no future plans

The Lustre Toolbox includes Lustre V4 and the model-checker Lesar. Check available binary distributions here.


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

info visites 1051503