Frédéric Gervais

Latest

• Introducing Inductive Construction in B with the Theory Plugin
• Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods
• B-ASM: Specification of ASM à la B
• A First Attempt to Express KAOS Refinement Patterns with Event B