TrustInSoft is an international software publisher, based in Paris and San Francisco. It provides an advanced static C & C++ source code analyzer founded on formal methods, to formally verify software.
TrustInSoft Analyzer performs comprehensive mathematical analysis of software to detect source code flaws. It is the only analyzer that can mathematically guarantee that the most common security flaws are not present in software.
The technology is recognized by the U.S. federal agency, the National Institute of Standard and Technology (NIST), and is the only one in the world to meet NIST’s SATE V Ockham Criteria.
TrustInSoft Analyzer is a rich and easy-to-use solution covering all the steps of software development, verification, and validation, without having to change the software development process.
For software designers and software validation teams, TrustInSoft Analyzer is a must-have as well as for basic to advanced development.
TrustInSoft’s solutions are currently in use in the following domains: Industrial IoT, Automotive, Telecom, Aeronautics, and Space, both in terms of safety and cybersecurity.