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. ...