scientific article; zbMATH DE number 910720

zbMATH Open0923.03047MaRDI QIDQ4885878FDOQ4885878

Authors: Fred B. Schneider 

Publication date: 29 August 1996

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

Recommendations

• scientific article; zbMATH DE number 3902009
• A proof outline logic for object-oriented programming
• scientific article; zbMATH DE number 3956417
• A generalization of Owicki-Gries's Hoare logic for a concurrent while language
• A proof technique for parallel programs

zbMATH Keywords

deductive systemprogram verificationassertional reasoningproof outline logicsafety properties of concurrent programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (3)

• Concise outlines for a complex logic: a proof outline checker for TaDA
• Annotations in formal specifications and proofs
• A proof outline logic for object-oriented programming

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