1 search results - page 1 / 1 » Solving Recursion-Free Horn Clauses over LI UIF |
APLAS
2011
ACM
12 years 4 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...