bandeau Aconit

Accueil > Publication


Pour nous écrire :





© 2002-2014 - Aconit




Google

Le logiciel Coq, devoloppé à l’INRIA, recompensé par le prix ACM


Félicitations à l’équipe de développeurs qui a conçu le système Coq, qui a reçu le prestigieux ACM Software System Award. Le logiciel Coq constitue depuis près de trente ans un support précieux pour les informaticiens qui l’utilisent comme outil d’aide à l’écriture et à la vérification de programmes. La fiabilité des programmes est absolument fondamental pour le futur de la société numérique ! Cet assistant de preuve très performant séduit désormais les mathématiciens.


Haut de page | Accueil | Plan du site | Mentions légales | Administration ?