Program Correctness
Articles about program correctness and logical verification of real-world programs, including Hoare's logic and Reynolds' logic.
— A collection of 4 posts
Articles about program correctness and logical verification of real-world programs, including Hoare's logic and Reynolds' logic.