-
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... -
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... -
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. -
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.
