La vérification prend une place croissante dans l‟informatique moderne. En grande partie parce que nous nous reposons de plus en plus sur les systèmes informatiques. Que cela soit pour communiquer, pour nous déplacer, pour ...