Elimination of loop invariants in program verification

zbMath0577.68027MaRDI QIDQ1065537

V. A. Nepomnyashchij

Publication date: 1985

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

verificationinductive assertionseliminating loop invariantsloop operatorpartial program correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (2)

Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs ⋮ Symbolic verification method for definite iteration over data structures

This page was built for publication: Elimination of loop invariants in program verification