Programmes par coho.sf.net

Coho est une plate-forme d’analyse de la reachability pour les systèmes hybrides non ligneux de haute dimension, en particulier pour la vérification des circuits analogiques. Ces outils ont été appliqués pour vérifier de nomb