8 citations · 13 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016★ 8 cited
Efficient CTL Verification via Horn Constraints Solving
Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko
The use of temporal logics has long been recognised as a fundamental approach to the formal specification and verification of reactive systems. In this paper, we take on the proble…
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…