Explore projects

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

General Opacity Supervision tool

Fork of the Coq Num Analysis library to test Continuous Integration

Website of the Workshop SynCoP 2024

ADT2AMAS: Tool for Managing Agents in Attack-Defense Scenarios

SOG-Based Multi-Core LTL Model Checking

C++ implementation of the Factor Oracle structure

Reduced Symbolic Observation Graph with Ample Set of the partial order reduction

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

ICECCS19 paper experiments files

scripts for the TACAS 21 paper experiments