There is more and more software everywhere, that controls our life. TrustInSoft wants everyone to benefit from the most secure and safest software possible – and this is enabled through mathematical techniques known as formal methods. In order to do that, TrustInSoft, a software publisher based in Paris and San Francisco, provides companies with a software code analysis tool to guarantee the security and safety of their source code using formal methods.
TrustInSoft was founded in 2013 by three former researchers Fabrice Derepas, Benjamin Monate, and Pascal Cuoq 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.
TrustInSoft today supports customers worldwide in the aeronautics, telecommunications, industrial IoT, and automotive industries.
