scientific article; zbMATH DE number 140003

MaRDI QIDQ4028366zbMATH OpenFDO

Authors

Publication date 28 March 1993

zbMATH Keywords

synthesismodularitytransformationprogram verificationalgebraic specifications

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

(5)

• Verified software units
• Modular Verification of Recursive Programs
• scientific article; zbMATH DE number 1678385 (Why is no real title available?)
• The verification of modules
• 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)