scientific article; zbMATH DE number 3997144

MaRDI QIDQ4723280zbMATH OpenFDO

Authors V.s. Kostyrko, A. V. Bakulin

Publication date 1986

zbMATH Keywords

preconditionprogram correctness

Mathematics Subject Classification ID

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

Recommendations

• Inductive syntactic synthesis of programs with FOR loops and interpreted functions
• scientific article; zbMATH DE number 3934387
• scientific article; zbMATH DE number 3982491
• scientific article; zbMATH DE number 4124987
• scientific article; zbMATH DE number 108494

Cited in

(6)

• A learning-based approach to synthesizing invariants for incomplete verification engines
• scientific article; zbMATH DE number 3952736 (Why is no real title available?)
• Relationship of program correctness checking methods
• Inductive expansion: A calculus for verifying and synthesizing functional and logic programs
• Invariant functions and invariant relations: an alternative to invariant assertions
• Multilevel structured program designs and correctness proving

This page was built for publication:

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