Pinned Repositories
carracinggame
Formal software development of a car racing game similar to RoadFighter
chasetool
Static analyzer of JML's assignable clause
chaum_pedersen
Prototype implementation of the Chaum-Pedersen protocol
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
ds_fundamentals_repo
earlyvalidation
This repository describes our experiences on using formal methods for the early validation of functional software requirements
eventb2java
Java code generator for Event-B - It is a Rodin plug-in
eventb2javaincoq
redes_algarve
ncatanoc's Repositories
ncatanoc/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.
ncatanoc/cyber_resilience_python
The goal of this project is to bring most of Event-B and refinement calculus into Python
ncatanoc/redes_algarve
ncatanoc/carracinggame
Formal software development of a car racing game similar to RoadFighter
ncatanoc/chasetool
Static analyzer of JML's assignable clause
ncatanoc/chaum_pedersen
Prototype implementation of the Chaum-Pedersen protocol
ncatanoc/ds_fundamentals_repo
ncatanoc/earlyvalidation
This repository describes our experiences on using formal methods for the early validation of functional software requirements
ncatanoc/eventb2java
Java code generator for Event-B - It is a Rodin plug-in
ncatanoc/eventb2javaincoq
ncatanoc/memjava
OCaml application that simulates the memory behavior of a running Java program
ncatanoc/slicinginpvs
ncatanoc/whatsapp
Formal software development of a prototype of a chat system similar to WhatsApp