CoCoSim: Contract-based Compositional verification of Simulink models

Hamza Bourbouh
Hamza Bourbouh
PhD student (2017-)
Pierre-Loïc Garoche
Pierre-Loïc Garoche
Professor of Computer Science