Baroudi, Djamila
(l’Université de Mostaganem, 2022-06-27)
Dwyer et al. ont proposé des patrons de spécification qualitatives qui permettent aux
praticiens des outils de model-checking d’écrire des spécifications formelles principalement
utilisées pour le model-checking automatique. ...