Software in critical applications must operate safely and reliably. Since testing can only show the presence of defects, but not their absence, how can engineers be confident that their software is robust? Using static code analysis with formal methods, it is possible to prove the absence of certain run-time errors in source code. By using these techniques software teams are able to quantify where software may or may not fail.
This webinar will introduce advanced verification techniques for software intended for critical applications. Through demonstrations, case-studies, and examples, attendees will learn how to:
1. Develop and verify high quality software
2. Use workflows and tools that improve software quality and reliability
3. Prove to certification authorities that certain types of defects can never occur