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. ZDNet News

Read more

top