TrustInSoft was founded on May 2nd, 2013 by Pascal Cuoq, Benjamin Monate and Fabrice Derepas of the French government’s Alternative Energies and Atomic Energy Commission. Their goal was to broaden the reach of formal methods for a variety of industry verticals, to promote security and safety in source code and contribute to making the ever-increasingly digitalized world a safer place.