3 citations · 13 across the 9 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.SE2015★ 2 cited
Finite Countermodel Based Verification for Program Transformation (A Case Study)
Alexei P. Lisitsa, Andrei P. Nemytykh
Both automatic program verification and program transformation are based on program analysis. In the past decade a number of approaches using various automatic general-purpose prog…
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…