Skip to main content

Program Correctness

Articles about program correctness and logical verification of real-world programs, including Hoare's logic and Reynolds' logic.

A collection of 3 posts
February 2024
November 2023
March 2023