Ten years of Hoare s logic, part II: nondeterminism
Krzysztof Rafal Apt · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1983
A survey of various results concerning the use of Hoare's logic in proving correctness of nondeterministic programs is presented.Various proof systems together with the example proofs are given and the corresponding soundness and completeness proofs of the systems are discussed.Programs