27 citations · 101 across the 22 of their papers we have counts for
1 paper · 2 filters
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
We present a method for verifying partial correctness properties of imperative programs that manipulate integers and arrays by using techniques based on the transformation of const…