Searching for "On the completeness of propositional Hoare logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

On the Completeness of Propositional Hoare Logic
by Dexter Kozen, Jerzy Tiuryn — 2001
…On the Completeness of Propositional Hoare Logic Dexter Kozen 1 and Jerzy Tiuryn 2 1 Computer…
Cited by 3 (2 self) – Add To MetaCart

Modal Kleene Algebra and Partial Correctness
by Copyright C Bernhard Möller, Universität Augsburg, Bernhard Möller, Bernhard Möller, Georg Struth, Georg Struth, Georg Struth — 2003 — Institut für Informatik, Universität Augsburg
… algebra for calculating soundness and completeness proofs for propositional Hoare logic. While our…
Cited by 8 (8 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB