Explore projects

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems

Fork of the Coq Num Analysis library to test Continuous Integration

Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll

Formal Developments and Proofs in Rocq of Numerical Analysis Problems.

SOG-Based Multi-Core LTL Model Checking

Multi-core Decision Diagram (BDD/LDD) implementation