VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.

Baoluo Meng Daniel Larraz Kit Siu Abha Moitra John Interrante William Smith Saswata Paul Daniel Prince Heber Herencia-Zapana M. Fareed Arif Moosa Yahyazadeh Vidhya Tekken Valapil Michael Durling Cesare Tinelli Omar Chowdhury

Published in: Syst. (2021)

Keyphrases