scientific article; zbMATH DE number 3997144

zbMATH Open0615.68015MaRDI QIDQ4723280FDOQ4723280

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

Publication date: 1986

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• A learning-based approach to synthesizing invariants for incomplete verification engines
• Invariant functions and invariant relations: an alternative to invariant assertions
• Inductive expansion: A calculus for verifying and synthesizing functional and logic programs
• Multilevel structured program designs and correctness proving
• Title not available (Why is that?)
• Relationship of program correctness checking methods

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)