In this seminar, we will present the use of Polyspace to verify critical embedded software. Polyspace uses formal-methods based static analysis to find run-time errors and to prove when the software will execute without runtime errors. Using a unique approach called abstract interpretation to analyze all possible ways the code can be run; Polyspace finds critical errors that other verification techniques can miss.
Through demonstrations and examples, MathWorks engineers will show how Polyspace helps detect critical run-time errors and prove that your software does not contain run-time errors. You will also learn about using these verification results to certify your code to standards such as DO-178, ISO 26262 and IEC 61508.
Benefits of the solution presented: