The verification of modules

DOI10.1007/BF01221100zbMath0806.68076WikidataQ58198188 ScholiaQ58198188MaRDI QIDQ1329200

Grigoris Antoniou

Publication date: 29 June 1994

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

zbMATH Keywords

verificationmoduleHoare logicalgebraic interfaces

Mathematics Subject Classification ID

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

Related Items (1)

The verification of modules

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Average case optimality for linear problems
• Expressiveness and the completeness of Hoare's logic
• Necessary and sufficient conditions for the universality of programming formalisms
• Algebraic specification of modules and their basic interconnections
• The verification of modules
• Algorithmic specifications: a constructive specification method for abstract data types
• An axiomatic basis for computer programming

This page was built for publication: The verification of modules