Secure-by-construction synthesis of cyber-physical systems
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
Topics & Concepts
Computer scienceCorrectnessMathematical proofCyber-physical systemComputer securityProcess (computing)Formal methodsScope (computer science)Risk analysis (engineering)Software engineeringGeometryOperating systemMathematicsMedicineProgramming languageFormal Methods in VerificationSecurity and Verification in ComputingPetri Nets in System Modeling