----------------------------- -- Safety rule synthesis -- -----------------------------

This set of tools is intended to synthesis high-level safety requirement for critical systems, with the concern not to restrict the system functionality.
This software is released under CeCILL-B license (similar to BSD, without copyleft, cf LICENSE.txt) with Copyright 2014 CNRS-LAAS. The authors are: Mathilde Machin, Fanny Dufossé
Download
For further information, please visit Mathilde Machin'homepage