Krzysztof R. Apt

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

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.

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