TrustInSoft announced an Application Security Test (AST) specifically designed to mathematically guarantee bug-free code in embedded Internet of Things (IoT) devices. Traditional static and dynamic analysis methods are slowing deployment because testing is replicated for each process. Formal Methods testing speeds up the process by producing a mathematical twin of C/C++ source code to prove the absence of source code bugs for any input. This is good news for software and software infrastructure vendors looking to be compliant with new guidelines published by the Biden Administration.
Source: https://www.helpnetsecurity.com/2021/07/02/trustinsoft-application-security-test/