107 citations · 291 across the 5 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
The problem of computing Craig Interpolants has recently received a lot of interest. In this paper, we address the problem of efficient generation of interpolants for some importan…
cs.SE2009★ 88 cited
Software Model Checking via Large-Block Encoding
Dirk Beyer, Alessandro Cimatti, Alberto Griggio +2
The construction and analysis of an abstract reachability tree (ART) are the basis for a successful method for software verification. The ART represents unwindings of the control-f…