Nestor Catano's repositories
cyber_resilience
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.
cyber_resilience_python
The goal of this project is to bring most of Event-B and refinement calculus into Python
carracinggame
Formal software development of a car racing game similar to RoadFighter
Language:Java000
chaum_pedersen
Prototype implementation of the Chaum-Pedersen protocol
Language:Jupyter Notebook000
earlyvalidation
This repository describes our experiences on using formal methods for the early validation of functional software requirements
Language:Rich Text Format000
eventb2java
Java code generator for Event-B - It is a Rodin plug-in
Language:Java000
memjava
OCaml application that simulates the memory behavior of a running Java program
Language:OCaml000
000