ion de prédicats L’abstraction de prédicats peut être utilisée pour améliorer l’analyse d’accessibilité. Elle consiste à analyser la valeur de vérité d’un ensemble de prédicats plutôt que de calculer des ensembles d’état continus [6, 5]. Des techniques de raffinement guidées par les contre-exemples [30] sont une autre application importante de cette approche. Ces techniques ont été utilisées da...
