30 citations · 31 across the 4 of their papers we have counts for
5 papers · 1 filter
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…
The Bourgeois Gentleman, Engineering and Formal Methods
Thierry Lecomte
Industrial applications involving formal methods are still exceptions to the general rule. Lack of understanding, employees without proper education, difficulty to integrate existi…
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…
Formally Checking Large Data Sets in the Railways
Thierry Lecomte, Lilian Burdy, Michael Leuschel
This article presents industrial experience of validating large data sets against specification written using the B / Event-B mathematical language and the ProB model checker.