San Francisco, CA 94108


About TrustInSoft

TrustInSoft is revolutionizing software development by making the power of formal methods accessible, empowering developers to guarantee the safety and security of the code the world depends on.


600 California St, 11th floor
San Francisco, CA 94108
+1 (408) 829-5882

More Info on TrustInSoft

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.

Articles & News

Car Dreamstime Wirestock 254181038

Applying Exhaustive Static Analysis to Automotive Software Testing

Sept. 1, 2023
Learn how mathematically proven code correctness and hardware awareness leads to 100% coverage and zero issues for automotive systems.