GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel

Xavier Morselli, Marie-Laure Potet, Nicolas Stouls

The most expensive source of errors and the more difficult to detect in a formal development is the error during specification. Hence, the first step in a formal development usuall…