CAV
2007
Springer
14 years 7 months ago
2007
Springer
CAV
2007
Springer
14 years 7 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
CAV
2007
Springer
14 years 7 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...