27 citations · 100 across the 15 of their papers we have counts for
1 paper · 1 filter
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…