The LoVe/verification team showed a demo of the CosyVerif software

The LoVe/verification team showed a demo of the CosyVerif software ( http://www.cosyverif.org/ ).

L’équipe LoVe (axe vérification) a montré une démo de son
logiciel CosyVerif (http://www.cosyverif.org/) which received a warm welcome.