86 search results - page 18 / 18 » Playing with Abstraction and Refinement for Managing Feature... |
TPHOL
2009
IEEE
13 years 12 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...