Structures de données et algorithmes pour la vérification formelle

La vérification formelle de programmes temporisés