most citedGeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2010

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…