Automatic generation of invariants and intermediate assertions
scientific article; zbMATH DE number 1178638