1 Hit in 2.0 sec

SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver [chapter]

Malay K Ganai, Muralidhar Talupur, Aarti Gupta
2006 Lecture Notes in Computer Science  
We propose a novel Separation Logic Solver SDSAT that combines the strengths of both these approaches and provides a robust performance over a wide set of benchmarks.  ...  This phase is similar to previous small domain encoding approaches, but uses a novel algorithm Nu-SMOD with 1-2 orders of magnitude improvement in performance and smaller ranges for variables.  ...  SDSAT: Integrating Small Domain and Lazy Approaches We propose a Separation Logic Solver SDSAT as shown in Figure 2 , that combines the strengths of both eager (small domain encoding) and lazy approaches  ... 
doi:10.1007/11691372_9 fatcat:be7wqhwrujbxfhlcian67r3dgm