Rapid Certifiable Trust
October 2019 • Poster
Contributor Dionisio de Niz
This poster describes investigation into formal methods to automatically validate new technologies for safety.
Abstract
Fielding new technologies is essential to preserve superiority. However, this is only possible if these technologies are validated for safety.