scientific article; zbMATH DE number 3986619

zbMATH Open0609.68013MaRDI QIDQ3750107FDOQ3750107

Authors: Wolfgang Wechler 

Publication date: 1986

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

Recommendations

• Floyd-Hoare logic in iteration theories
• Algebras for program correctness in Isabelle/HOL
• Semantic models for total correctness and fairness
• Partial, total and general correctness
• scientific article

zbMATH Keywords

semiringHoare logicpartial correctnesscorrectness of programsdynamic algebrasHoare algebras

Mathematics Subject Classification ID

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

Cited In (5)

• Dynamic algebras with test
• On dynamic algebras
• Floyd-Hoare logic in iteration theories
• Semantic models for total correctness and fairness
• Title not available (Why is that?)

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