Improved Subsumption for CLP-based Verification
Résumé
We propose an efficient test for subsumption that allows for termination of model-checking in some cases.
Communication Dans Un Congrès
Année : 2001
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00100561
Soumis le : mardi 26 septembre 2006-14:47:37
Dernière modification le : jeudi 15 février 2024-03:31:17
Dates et versions
Identifiants
- HAL Id : inria-00100561 , version 1
Citer
Julien Musset, Michaël Rusinowitch. Improved Subsumption for CLP-based Verification. Workshop on (Constraint) Logic Programming and Software Engineering - CLPSE'2001, Gopal Gupta, 2001, Paphos, Cyprus, 9 p. ⟨inria-00100561⟩
Collections
54
Consultations
0
Téléchargements