scientific article; zbMATH DE number 4016178

zbMATH Open0625.68020MaRDI QIDQ3028331FDOQ3028331

Author name not available (Why is that?)

Publication date: 1987

Title of this publication is not available (Why is that?)

zbMATH Keywords

programming languageVienna Development Method``Hoare-logicspecification of data

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 (9)

• A proof rule for while loop in VDM
• Formal software development in the Verification Support Environment (VSE)
• Title not available (Why is that?)
• VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modular structuring of VDM specifications in VVSL
• Title not available (Why is that?)

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)