ncatanoc / cyber_resilience Goto Github PK
View Code? Open in Web Editor NEWProgram 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.