Program Correctness

References: - A general framework for sound and complete Floyd-Hoare logics Rob Arthan; Ursula Martin; Erik A. Mathiesen; Paulo Oliva