Current methods for proving program correctness

DOI10.1007/BF01069058MaRDI QIDQ3911363zbMATH OpenFDO

Authors E. L. Yushchenko, I. V. Kasatkina

Publication date 1980

Published in Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01069058

zbMATH Keywords

program correctness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• A New Incompleteness Result for Hoare's System
• An axiomatic basis for computer programming
• An axiomatic basis for proving total correctness of goto-programs
• Another recursion induction principle
• Automatic program verification. I: A logical basis and its implementation
• Axiomatic approach to total correctness of programs
• Consistent and complementary formal theories of the semantics of programming languages
• Formal verification of parallel programs
• Formalization of Properties of Functional Programs
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3569793 (Why is no real title available?)
• scientific article; zbMATH DE number 3597849 (Why is no real title available?)
• scientific article; zbMATH DE number 3448070 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• scientific article; zbMATH DE number 3337682 (Why is no real title available?)
• scientific article; zbMATH DE number 3351184 (Why is no real title available?)
• scientific article; zbMATH DE number 3412171 (Why is no real title available?)
• scientific article; zbMATH DE number 3420251 (Why is no real title available?)
• scientific article; zbMATH DE number 3421895 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Inductive methods for proving properties of programs
• Logical analysis of programs
• Mathematical theory of partial correctness
• Parallel programming: An axiomatic approach
• Program proving: KJumps and functions
• Proof of a program
• Prospects and Limitations of Automatic Assertion Generation for Loop Programs
• Proving assertions about parallel programs
• Proving Properties of Programs by Structural Induction
• Proving Theorems about LISP Functions
• Reasoning about programs
• Soundness and Completeness of an Axiom System for Program Verification
• Verifying properties of parallel programs

Describes a project that uses

Uses Software

• Find
• COBOL

This page was built for publication: Current methods for proving program correctness

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