Skip to content
View ncatanoc's full-sized avatar

Block or report ncatanoc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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