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…