Hoare's Logic is incomplete when it does not have to be

Publisher Website

19 November 2005

book chapter
Published by Springer Nature

p. 9-23
https://doi.org/10.1007/bfb0025771

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

First-Order Dynamic Logic
Lecture Notes in Computer Science, 1979
Soundness and Completeness of an Axiom System for Program Verification
SIAM Journal on Computing, 1978
A New Incompleteness Result for Hoare's System
Journal of the ACM, 1978