Vidéo du Math Park de J.-C. Filliâtre, « Vérification déductives des programmes »

jeudi 1er septembre 2016
par  JL
popularité : 5%

Résumé :
L’histoire du logiciel, pourtant relativement courte, est déjà émaillée d’un grand nombre de faillites célèbres. Notre quotidien lui-même est régulièrement affecté par des erreurs logicielles et le mot « bug » est passé sans mal dans le langage courant. Cet exposé donnera une introduction à la vérification déductive de programmes, une activité visant à établir de manière irréfutable la correction d’un programme par une série de déductions logiques mécanisées.


Commentaires