On m'a demandé de rédiger un article présentant mes vues sur le futur de la vérification automatique de logiciels, en me basant sur mon expérience passée. Pour ceux que cela intéresserait, voir ici. Attention, c'est en anglais et c'est semi-technique.