icon-carat-right menu search cmu-wordmark

Rapid Certifiable Trust

Poster
This poster describes investigation into formal methods to automatically validate new technologies for safety.
Publisher

Software Engineering Institute

Abstract

Fielding new technologies is essential to preserve superiority. However, this is only possible if these technologies are validated for safety.