73 citations · 149 across the 21 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 28 cited
Quantifier-Free Interpolation of a Theory of Arrays
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
The use of interpolants in model checking is becoming an enabling technology to allow fast and robust verification of hardware and software. The application of encodings based on t…
cs.LO2012★ 1 cited
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
The use of interpolants in verification is gaining more and more importance. Since theories used in applications are usually obtained as (disjoint) combinations of simpler theories…