scientific article; zbMATH DE number 140003

MaRDI QIDQ4028366zbMATH OpenFDO

Authors

Publication date 28 March 1993

zbMATH Keywords

algebraic specificationsmodularityprogram verificationsynthesistransformation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• The verification of modules
• Module checking
• scientific article; zbMATH DE number 3894447
• scientific article; zbMATH DE number 1361119
• scientific article; zbMATH DE number 3230401
• MODULES
• scientific article; zbMATH DE number 3324865
• scientific article; zbMATH DE number 3351754

Cited in

(7)

• The verification of modules
• Verified software units
• scientific article; zbMATH DE number 1678385 (Why is no real title available?)
• Modular Verification of Recursive Programs
• scientific article; zbMATH DE number 1113855 (Why is no real title available?)
• Formal reasoning about modules, reuse and their correctness
• Modules and specifications

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 Q4028366)