7 citations · 12 across the 8 of their papers we have counts for
3 papers · 1 filter
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…
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…