Rapid Certifiable Trust October 28, 2019 • Poster By Dionisio de Niz This poster describes investigation into formal methods to automatically validate new technologies for safety. Publisher Software Engineering Institute Subjects Software Architecture System Verification And Validation Abstract Fielding new technologies is essential to preserve superiority. However, this is only possible if these technologies are validated for safety. SHARE