CRV: Automated Cyber-Resiliency Reasoning for System Design Models.

Daniel Larraz, Robert Lorch, Moosa Yahyazadeh, M. Fareed Arif, Omar Chowdhury, Cesare Tinelli

Browse the full FMCAD paper archive.