-
An assertions-based approach to verifying the absence property pattern
International audience -
Extended Model driven Architecture to B Method
International audience -
Proof Automation for Atelier B Rules Verification
The purpose of this thesis is the verification of Atelier B added rules using the framework named BCARe which relies on a deep embedding of the B theory within the... -
A rigorous reasoning about model transformations using the B method
International audience -
Proving dynamic properties in B
The properties that we would like to express on data-intensive applications cannot be limited to static properties, called invariance properties, which depend on... -
Proving Component Interoperability with B Refinement
International audience -
Verification of UML Model Elements Using B
International audience -
Process control engineering: contribution to a formal structuring framework w...
Colloque avec actes et comité de lecture. -
Service specifications to B, or not to B
Colloque avec actes et comité de lecture. -
Spécification de services : une approche avec B
Article dans revue scientifique avec comité de lecture. -
Contributions for Modelling UML State-Charts in B
Colloque avec actes et comité de lecture. internationale. -
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify ...
Article dans revue scientifique avec comité de lecture. -
Modélisation formelle de circuits électroniques en B événementiel
Colloque avec actes et comité de lecture. nationale. -
Designing event-driven systems by combining coordination and refinement
Colloque avec actes et comité de lecture. internationale.
