Improved Subsumption for CLP-based Verification
Abstract
We propose an efficient test for subsumption that allows for termination of model-checking in some cases.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00100561
Submitted on : Tuesday, September 26, 2006-2:47:37 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM