1. Week 01: Introduction and Origins of Program Logics¶
1.1. Mandatory Reading¶
- Introduction Slides
- The birth of program logics (by Xavier Leroy)
1.2. Recommended Reading¶
- Alan M. Turing: Checking a Large Routine, 1949
- Robert W. Floyd: Assigning Meaning to Programs, 1967
- C.A.R. Hoare: An Axiomatic Basis for Computer Programming, 1969