71 citations · 448 across the 43 of their papers we have counts for
1 paper · 2 filters
Carlo A. Furia, Bertrand Meyer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, also know…