article · 1980
ADI: Automatic Derivation of Invariants
Most current systems for mechanical program verification are not fully automatic, since the user himself must provide the intermediate inductive assertions. ...
12 citationsDOI: https://doi.org/10.1109/tse.1980.230461