scientific article; zbMATH DE number 4016178

MaRDI QIDQ3028331zbMATH OpenFDO

Authors

Publication date 1987

zbMATH Keywords

``Hoare-logicprogramming languagespecification of dataVienna Development Method

Mathematics Subject Classification ID

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

Cited in

(12)

• Modular structuring of VDM specifications in VVSL
• VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
• A proof rule for while loop in VDM
• Formal methods in software development Z, B and VDM: comparison analysis
• scientific article; zbMATH DE number 4020448 (Why is no real title available?)
• scientific article; zbMATH DE number 18650 (Why is no real title available?)
• scientific article; zbMATH DE number 139994 (Why is no real title available?)
• scientific article; zbMATH DE number 595218 (Why is no real title available?)
• scientific article; zbMATH DE number 683356 (Why is no real title available?)
• scientific article; zbMATH DE number 1105197 (Why is no real title available?)
• scientific article; zbMATH DE number 1487471 (Why is no real title available?)
• Formal software development in the Verification Support Environment (VSE)

Describes a project that uses

Uses Software

• Nuprl

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