Tools

CoCoSim — Contract-based Compositional verification of Simulink models. A Matlab Simulink toolbox to support formal specification and verification of Simulink models. (with Hamza Bourbouh)

LustreC — A suite of tools to compile and analyze Lustre models. (with Xavier Thirioux)

OSDP — OCaml Semi Definite Programming. An OCaml library providing interface to SDP/SOS solvers. (with Pierre Roux)