13 citations · 23 across the 10 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 2 cited
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer +2
It is often difficult to correctly implement a Boolean controller for a complex system, especially when concurrency is involved. Yet, it may be easy to formally specify a controlle…
cs.LO2013★ 5 cited
Generalised Interpolation by Solving Recursion-Free Horn Clauses
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
In this paper we present InterHorn, a solver for recursion-free Horn clauses. The main application domain of InterHorn lies in solving interpolation problems arising in software ve…