F

Formal Verification

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

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

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.