6 citations · 9 across the 6 of their papers we have counts for
6 papers
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment
Thierry Lecomte, David Deharbe, Paulin Fournier +1
The CLEARSY Safety Platform (CSSP) was designed to ease the development of safety critical systems and to reduce the overall costs (development, deployment, and certification) unde…
Low Cost High Integrity Platform
Thierry Lecomte, David Deharbe, Denis Sabatier +6
Developing safety critical applications often require rare human resources to complete successfully while off-the-shelf block solutions appear difficult to adapt especially during…
Applying a Formal Method in Industry: a 25-Year Trajectory
Thierry Lecomte, David Deharbe, Etienne Prun +1
Industrial applications involving formal methods are still exceptions to the general rule. Lack of understanding, employees without proper education, difficulty to integrate existi…
Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa"
Lilian Burdy, David Déharbe, Étienne Prun
The application of automatic theorem provers to discharge proof obligations is necessary to apply formal methods in an efficient manner. Tools supporting formal methods, such as At…
BEval: A Plug-in to Extend Atelier B with Current Verification Technologies
Valério Medeiros, David Déharbe
This paper presents BEval, an extension of Atelier B to improve automation in the verification activities in the B method or Event-B. It combines a tool for managing and verifying…
Refining interfaces: the case of the B method
David Deharbe, Bruno E. G. Gomes, Anamaria M. Moreira
Model-driven design of software for safety-critical applications often relies on mathematically grounded techniques such as the B method. Such techniques consist in the successive…