Description
Formal synchronous-system models can be developed with the free Lustre tool distribution version 6.
This package is useful for researchers, students, and engineers working with Lustre specifications or model-based design. It is a development toolset, not a general programming IDE.
Modeling tools depend on precise assumptions. Validate generated artifacts before using them for safety-critical decisions.