This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Krzysztof R. Apt
A grouping.
What Hoare logic can and cannot prove: four of the five records are one survey written three times over thirty-eight years, from 'Ten Years of Hoare's Logic' (1981-84) to 'Fifty years of Hoare's logic' (2019), on soundness and the several kinds of completeness -- complete only relative to an assertion language rich enough to state the invariants. The other two are the textbook 'Verification of Sequential and Concurrent Programs' and its object-oriented sequel, both written with de Boer.
5 references
Fifty years of Hoare's logic
Krzysztof R. Apt and others (2019) · Formal Aspects of Computing
Verification of object-oriented programs: A transformational approach
Krzysztof R. Apt and others (2012) · Journal of Computer and System Sciences
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt and others (2009) · Springer
Ten Years of Hoare's Logic: A Survey Part II: Nondeterminism
Krzysztof R. Apt (1984) · Theoretical Computer Science
Ten Years of Hoare's Logic: A Survey - Part I
Krzysztof R. Apt (1981) · ACM Transactions on Programming Languages and Systems