scientific article; zbMATH DE number 683356

MaRDI QIDQ4312477zbMATH OpenFDO

Authors John S. Fitzgerald, R. Moore

Publication date 8 November 1994

zbMATH Keywords

VDM specification language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(11)

• A proof rule for while loop in VDM
• Hoare's logic and VDM
• The syntactic-node data type for VDM
• VDM specification for the tree-modification method of refutation
• scientific article; zbMATH DE number 4016178 (Why is no real title available?)
• scientific article; zbMATH DE number 18650 (Why is no real title available?)
• scientific article; zbMATH DE number 139808 (Why is no real title available?)
• scientific article; zbMATH DE number 595218 (Why is no real title available?)
• scientific article; zbMATH DE number 683357 (Why is no real title available?)
• scientific article; zbMATH DE number 1105197 (Why is no real title available?)
• Translating specifications in VDM-SL to PVS

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