Recherche : CoqHoTT pourrait sauver Ariane V

Sur des projets complexes, un ordinateur ne peut parfois pas détecter correctement les informations qui lui sont transmises. CoqHoTT, un assistant de preuve français développé par l'Inria, doit changer la donne, et éviter des catastrophes dans des domaines qui exigent une précision extrême, comme l'aérospatiale.



from ZDNet - Business et Solutions IT http://ift.tt/1u2QR6z

via IFTTT