Problem-oriented program verification

zbMath0602.68020MaRDI QIDQ1082069

V. A. Nepomnyashchij

Publication date: 1986

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

zbMATH Keywords

correctnesstransformationloopgoto statementsequential and parallel replacement in arrays

Mathematics Subject Classification ID

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

Related Items (2)

A compositional proof system for distributed programs ⋮ Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs

This page was built for publication: Problem-oriented program verification