99 citations · 174 across the 12 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013
The Relationship between Craig Interpolation and Recursion-Free Horn Clauses
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
Despite decades of research, there are still a number of concepts commonly found in software programs that are considered challenging for verification: among others, such concepts…
cs.LO2013★ 3 cited
Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)
Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
One of the main challenges in software verification is efficient and precise compositional analysis of programs with procedures and loops. Interpolation methods remain one of the m…