Verification of a class of loop programs without using loop invariants
type: Item
instance of: scholarly article
title: Verification of a class of loop programs without using loop invariants
zbMATH Open document ID: 0559.68022
author: L. V. Chernobrod
published in: Programming and Computer Software
publication date: 1984-01-01T00:00:00Z
review text: A method is considered for simplifying the verification of structured loop programs that do not contain embedded loops. An axiomatic system is described that constitutes a modification of Hoare's logic and that uses recursive functions instead of loop invariants, these functions being directly determined in accordance with the syntactic structure of the loops.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3892568
zbMATH Keywords: verification
zbMATH Keywords: structured loop programs
zbMATH Keywords: Hoare's logic
zbMATH Keywords: recursive functions
zbMATH Keywords: loop invariants
MaRDI profile type: Publication
description: scientific article