1 citations · 1 across the 4 of their papers we have counts for
4 papers
Syntactic Abstraction of B Models to Generate Tests
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué +1
In a model-based testing approach as well as for the verification of properties, B models provide an interesting solution. However, for industrial applications, the size of their s…
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…
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…
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…