CS6217: Topics in Programming Languages & Software Engineering,
  • Course Syllabus and Policies
  • 1. Week 01: Introduction and Origins of Program Logics
  • 2. Week 02: Hoare-Style Poofs and Loop Invariants
  • 3. Week 03: Reasoning about Heap-Manipulating Programs
  • 4. Week 04: Logics for Functional Programs
  • 5. Week 05: Verifying Concurrent Programs
  • 6. Week 06: Extensions of Separation Logic
  • 7. Week 07: Program Logics for Weak Memory
CS6217: Topics in Programming Languages & Software Engineering,
  • Docs »
  • Search

© Copyright 2023, Ilya Sergey

Built with Sphinx using a theme provided by Read the Docs.