LIA INFINIS : méthodes formelles pour la modélisation, la spécification, la vérification et le développement de logiciels

« Il y a un bug… ». Cette phrase anodine, entrée dans le langage courant, et souvent associée à des problèmes mineurs, peut également se référer à des dysfonctionnements informatiques ayant des conséquences potentiellement dramatiques.

Voir l’article dans Nouvelles CNRS Rio de janvier 2018