CoCoSim: Contract-based Compositional verification of Simulink models

Avatar
Hamza Bourbouh
PhD student (2017-)