22 citations · 27 across the 9 of their papers we have counts for
1 paper · 1 filter
Li Huang, Bertrand Meyer, Manuel Oriol
In software verification, a successful automated program proof is the ultimate triumph. The road to such success is, however, paved with many failed proof attempts. The message pro…