scientific article; zbMATH DE number 8784

MaRDI QIDQ3971273zbMATH OpenFDO

Authors R. W. Whitty

Publication date 25 June 1992

zbMATH Keywords

weakest preconditionsflip-flop

Mathematics Subject Classification ID

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

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

Cited in

(3)

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

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)