French Réduction par ordre partiel Cited by user Fschwarzentruber on 20 Dec 2018 En informatique, la réduction par ordre partiel est une technique pour éviter l'explosion d'états en vérification de modèles, en planification automatique.
English Computer Aided Verification Cited by user Rgrig on 03 Jan 2012 Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems.
English Computer Aided Verification Cited by user Rgrig on 03 Jan 2012 Computer Aided Verification (CAV) is an annual academic conference on the theory and practice of computer aided formal analysis of software and hardware systems.