scientific article; zbMATH DE number 8784

zbMATH Open0757.68078MaRDI QIDQ3971273FDOQ3971273

Authors: R. W. Whitty 

Publication date: 25 June 1992

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

Recommendations

• scientific article; zbMATH DE number 4047047
• Some Variants of the Weakest Precondition in Nondeterminism
• The weakest prespecification
• The weakest precondition calculus: Recursion and duality
• Weakest preconditioned goto axiom
• scientific article; zbMATH DE number 5866432
• scientific article; zbMATH DE number 4020448
• On strongest necessary and weakest sufficient conditions
• Certain criteria for weak sufficiency
• A Weakest Precondition Semantics for Z

zbMATH Keywords

weakest preconditionsflip-flop

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (3)

• Weak assumption and iterative admissibility
• Some Variants of the Weakest Precondition in Nondeterminism
• Weakest preconditioned goto axiom

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