Explore projects

Partial Order Model checker for PETri nets

ICECCS19 paper experiments files

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation

This is a copy of the BuDDy library.

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