27 citations · 101 across the 22 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 3 cited
Proceedings of the Third International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei P. Nemytykh, Alberto Pettorossi
This volume contains the papers selected among those which were presented at the 3rd International Workshop on Verification and Program Transformation (VPT 2015) held in London, UK…
cs.LO2015★ 14 cited
Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
We present a method for verifying the correctness of imperative programs which is based on the automated transformation of their specifications. Given a program prog, we consider a…