search menu icon-carat-right cmu-wordmark

Rapid Certifiable Trust

October 2019 Poster
Contributor Dionisio de Niz

This poster describes investigation into forma metohds to automatically validate new echnologies 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.