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.


Software Engineering Institute


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