Measure Quality and Quantify Reliability of Critical Software

Presented: November 11, 2011 12:00 pm
Presented by: Jay Abraham

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

Focus Areas

Computer Icon

Host a Webinar with CSIAC

Are you interested in delivering a webinar presentation on your DoD research and engineering efforts?

Want to find out more about this topic?

Request a FREE Technical Inquiry!