CoCoSim: Contract-based Compositional verification of Simulink models Hamza Bourbouh, Pierre-Loïc Garoche Jul 24, 2015 Go to Project Site cocosim Hamza Bourbouh Engineer at Google Zurich Pierre-Loïc Garoche Professor of Computer Science
