2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 2 cited
Monotonic Abstraction Techniques: from Parametric to Software Model Checking
Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
Monotonic abstraction is a technique introduced in model checking parameterized distributed systems in order to cope with transitions containing global conditions within guards. Th…
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…