Digital Engineering (DE) Digital Textbook
-
Updated
Jun 23, 2022 - Python
#
cyber-resilience
Here are 5 public repositories matching this topic...
The goal of this project is to bring most of Event-B and refinement calculus into Python
ltl formal-methods autonomous-vehicles cyber-security formal-verification pyhon linear-temporal-logic weakest-preconditions platooning cyber-resilience
-
Updated
Mar 27, 2023 - Jupyter Notebook
Program synthesis for cyber-resilience. Generation of certified code for architectural tactics, for which we use Event-B and EventB2Java. We show how testing can be used to animate and check the generated code.
security cybersecurity ltl formal-methods autonomous-vehicles architectural-patterns linear-temporal-logic event-b cyber-resilience
-
Updated
Jan 1, 2022
Smart Citizen Cyber Resilience Ontology
-
Updated
Nov 12, 2024
Improve this page
Add a description, image, and links to the cyber-resilience topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cyber-resilience topic, visit your repo's landing page and select "manage topics."