Problem-oriented program verification

MaRDI QIDQ1082069zbMATH OpenFDO

Authors V. A. Nepomnyashchij

Publication date 1986

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

zbMATH Keywords

transformationloopcorrectnessgoto statementsequential and parallel replacement in arrays

Mathematics Subject Classification ID

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

Recommendations

• Problem-oriented approach to verification of file-processing programs
• Problem-oriented program verification system ?SPEKTR?
• Elimination of loop invariants in program verification
• Verification of procedural programs
• Program verification: state of the art, problems, and results. I

Cited in

(14)

• Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
• Elimination of loop invariants in program verification
• A unified approach of program verification
• Verification of a class of loop programs without using loop invariants
• A vindication of program verification
• A new approach to program verification
• Problem-oriented approach to verification of file-processing programs
• Program verification through characteristic formulae
• Problem-oriented program verification system ?SPEKTR?
• scientific article; zbMATH DE number 3881857 (Why is no real title available?)
• Programmed strategies for program verification
• A compositional proof system for distributed programs
• Problem-oriented verification system and its application to linear algebra programs
• scientific article; zbMATH DE number 53100 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1082069)