L'attestation: avenues de recherche, 1987

Résumé. L'auteur fait un rapide tour d'horizon de certains des précurseurs de la science moderne de la vérification et de l'évolution de l'environnement et ses conséquences, à dessein de stimuler la recherche en vérification. Après avoir établi la distinction entre les fonctions d'attestation et de contrôle, l'auteur dresse une liste de questions auxquelles pourraient tenter de répondre les chercheurs du domaine de la vérification dans leurs travaux futurs.