scientific article; zbMATH DE number 548908

MaRDI QIDQ4286789zbMATH OpenFDO

Authors Bernhard Hohlfeld, Werner Struckmann

Publication date 12 April 1994

zbMATH Keywords

Hoare calculusparallel programprogram verification

Mathematics Subject Classification ID

Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Programmverifikation
• Verification of sequential and concurrent programs
• scientific article; zbMATH DE number 44976
• scientific article; zbMATH DE number 53100
• scientific article; zbMATH DE number 546874

Cited in

(5)

• Semantics and program verification
• scientific article; zbMATH DE number 44976 (Why is no real title available?)
• scientific article; zbMATH DE number 53100 (Why is no real title available?)
• scientific article; zbMATH DE number 546874 (Why is no real title available?)
• Panellist position statement: some industrial experience with program verification

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