6 citations
3 papers
cs.SE2020★ 1 cited
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…
cs.SE2020
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…
cs.SE2017★ 6 cited
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…