Popular repositories Loading

1. redes_algarve redes_algarve Public

   TeX 3

2. cyber_resilience cyber_resilience Public

   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 ge…

   1

3. cyber_resilience_python cyber_resilience_python Public

   The goal of this project is to bring most of Event-B and refinement calculus into Python

   Jupyter Notebook 1

4. eventb2java eventb2java Public

   Java code generator for Event-B - It is a Rodin plug-in

   Java 1

5. memjava memjava Public

   OCaml application that simulates the memory behavior of a running Java program

   OCaml

6. chasetool chasetool Public

   Static analyzer of JML's assignable clause

   Java 1