Security modelling and formal verification of survivability properties: Application to cyber–physical systems
Simona Bernardi, Ugo Gentile, S. Marrone, José Merseguer, Roberto Nardone
Topics & Concepts
SurvivabilityComputer scienceUnified Modeling LanguageFormal verificationModel checkingFormal methodsCyber-physical systemSoftware engineeringComputer securityTheoretical computer scienceProgramming languageSoftwareOperating systemComputer networkSafety Systems Engineering in AutonomyInformation and Cyber SecurityFormal Methods in Verification