Verification of a class of loop programs without using loop invariants

zbMath0559.68022MaRDI QIDQ2265799

L. V. Chernobrod

Publication date: 1984

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

zbMATH Keywords

verificationrecursive functionsloop invariantsHoare's logicstructured loop programs

Mathematics Subject Classification ID

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

This page was built for publication: Verification of a class of loop programs without using loop invariants