Program Correctness

An introductory course to program correctness: ensuring that programs behave as is intended. Covering both Hoare's logic and Reynolds' logic.

Published on Apr 28, 2024 — Last updated May 30, 2024 — Hans-Dieter Hiep
— Website