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

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

A Formal Verification Methodology to lower the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector

Formal program verification

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

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.