GenoM3 Fiacre Template
Résumé
The GenoM3 Fiacre package is a GenoM3 template. It needs to be run jointly with GenoM3 applied to a module specification. Applying this template to a module synthesizes a Fiacre formal model of the module, either to be used with the Tina toolbox (to prove some formal properties using model checking), but also with the Hippo engine to execute the equivalent formal model of the component (in place of the regular GenoM3 code).