1 citations · 1 across the 3 of their papers we have counts for
3 papers
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…
cs.LO2010★ 1 cited
GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications. Application to Security Properties.
Didier Bert, Marie-Laure Potet, Nicolas Stouls
In this paper, we present a method and a tool to build symbolic labelled transition systems from B specifications. The tool, called GeneSyst, can take into account refinement level…
cs.CR2010
Security Policy Enforcement Through Refinement Process
Nicolas Stouls, Marie-Laure Potet
In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process. We argue that it is pos…