Problem-oriented program verification
type: Item
instance of: scholarly article
title: Problem-oriented program verification
zbMATH Open document ID: 0602.68020
author: V. A. Nepomnyashchij
published in: Programming and Computer Software
publication date: 1986-01-01T00:00:00Z
review text: We describe a methodology of problem-oriented program verification which includes a special invariant-free derivation rule for a loop writing into a file, an identity condition for sequential and parallel replacement in arrays, which simplifies the proof of correctness conditions, and also a transformation to remove the goto statement from the body of a loop.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3972171
zbMATH Keywords: loop
zbMATH Keywords: sequential and parallel replacement in arrays
zbMATH Keywords: correctness
zbMATH Keywords: transformation
zbMATH Keywords: goto statement
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3972171