Multilevel structured program designs and correctness proving

DOI10.1007/BF01130543zbMath0841.68075MaRDI QIDQ1910975

A. V. Bakulin, G. E. Tsejtlin

Publication date: 20 May 1996

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

program specificationdesign languageMSPD tools

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Related Items (4)

On the creation of a macromodel of social development ⋮ Formalized program specifications and transformation synthesis ⋮ Algebraic-grammatical models of parallel computation ⋮ Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms

Cites Work

• The Vienna development method: The meta-language
• Laws of programming
• A constructive approach to the problem of program correctness
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Multilevel structured program designs and correctness proving