The verification of modules

DOI10.1007/BF01221100MaRDI QIDQ1329200zbMATH OpenWikidataFDO

Authors Grigoris Antoniou

Publication date 29 June 1994

Published in Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

verificationHoare logicmodulealgebraic interfaces

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 140003
• Verification Modulo theories
• scientific article; zbMATH DE number 3894447
• Perfect verification of modular scheme
• scientific article; zbMATH DE number 177517
• scientific article; zbMATH DE number 177256
• Modular Verification of Recursive Programs
• A Translation-based Approach to the Verification of Modular Equivalence

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3784245 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 44976 (Why is no real title available?)
• scientific article; zbMATH DE number 53085 (Why is no real title available?)
• scientific article; zbMATH DE number 140003 (Why is no real title available?)
• scientific article; zbMATH DE number 3596281 (Why is no real title available?)
• scientific article; zbMATH DE number 3798986 (Why is no real title available?)
• Algebraic specification of modules and their basic interconnections
• Algorithmic specifications: a constructive specification method for abstract data types
• An axiomatic basis for computer programming
• Average case optimality for linear problems
• Expressiveness and the completeness of Hoare's logic
• Necessary and sufficient conditions for the universality of programming formalisms
• The verification of modules

Cited in

(5)

• The verification of modules
• scientific article; zbMATH DE number 140003 (Why is no real title available?)
• Verification Modulo theories
• scientific article; zbMATH DE number 1678385 (Why is no real title available?)
• On the correctness of modular systems

This page was built for publication: The verification of modules

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