Thierry Lecomte Posted on August 13, 2021 by verifiability R&D Project Director at CLEARSY, French SME specialised in safety critical systems.