27 citations · 101 across the 22 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017★ 1 cited
Enhancing Predicate Pairing with Abstraction for Relational Verification
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
Relational verification is a technique that aims at proving properties that relate two different program fragments, or two different program runs. It has been shown that constraine…
cs.LO2017★ 13 cited
Predicate Pairing for Program Verification
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
It is well-known that the verification of partial correctness properties of imperative programs can be reduced to the satisfiability problem for constrained Horn clauses (CHCs). Ho…