Trustinsoft Blog Achieving Zero Bug Code: July Silicon Valley ISSA

Back to news TrustInSoft CTO & Cofounder Benjamin Monate takes the stage at the Silicon Valley Chapter of ISSA July meeting, presenting on the topic of formal methods, firmware development and obtaining zero bug code. TrustInSoft CTO and Cofounder Benjamin Monate Formal methods and a mathematical proof of zero bugs in code TrustInSoft CTO and […] The post Achieving Zero Bug Code: July Silicon Valley ISSA appeared first on TrustInSoft, exhaustive static analysis tools for software security and safety.