Proving Absence of Run-Time Errors in Software

Overview

Code review and testing can find bugs, but they alone cannot prove that the software is free from critical run-time bugs. Edsger Dijkstra, a pioneer in computer science, once said “program testing can be used to show the presence of bugs, but never to show their absence!”  Yet, many embedded projects interpret the absence of test failures as proof of quality. 

This webinar presents techniques that software development teams can adopt to make their software safe and prove the absence of bugs using Polyspace. See how you can find bugs in your code and, more importantly, prove that your code is free from critical run-time errors such as overflows, divide-by-zero, and buffer overflows.