TrustInSoft mathematically guarantees zero bug vehicles with new Application Security Test
SAN FRANCISCO and PARIS, June 9, 2021 /PRNewswire/ — TrustInSoft, a cybersecurity software company, today announced a new Zero Bug Application Security Test (AST) for the automotive and autonomous driving market that proves the absence of bugs in car manufacturers’ systems. The new Zero Bug AST leverages the TrustInSoft Analyzer to automate the power of Formal Methods testing, bringing the benefits to static and dynamic C/C++ source code analysis. TrustInSoft Analyzer democratizes Formal Methods by making its advanced testing processes available to any developer at an affordable cost.