1 search results - page 1 / 1 » Solving Recursion-Free Horn Clauses over LI UIF |
135
click to vote
APLAS
2011
ACM
14 years 2 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...