Formal Verification

A Formalization of Lambda Decision Diagram (LDD) in Coq.

SkiNet is a formal verification tool of Skillset-based architectures. Created at ONERA - The French Aerospace Lab, France. Video: https://youtu.be/5bKO1IVlhJc

Formally verified proof checker for pseudo-Boolean reasoning for various combinatorial solving and optimization problems based on the CakeML ecosystem.

Python toolbox for temporal logic robustness guided falsification of Cyber-Physical Systems (CPS)

Experimental data and artifact data for project on Property Based Difference Verification with Conditions.

A Project for Formal Methods in Software Engineering F97 at UT using Rebeca

mirrored at https://github.com/hadisfr/rebeca-simple-noc