Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
News
Jobs & internships
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Light
Dark
Automatic
Tools
CoCoSim: Contract-based Compositional verification of Simulink models
a Matlab Simulink toolbox to support formal specification and verification of Simulink models
OSDP: OCaml Semi Definite Programming
an OCaml library providing interface to SDP/SOS solvers
LustreC
a suite of tools to compile and analyze Lustre models
Cite
×