About

  • This course was about the Program Verification like understanding the program correctness, Program execution flow, theoretical logic building and parallel programs.

Topics Studied

  • Propositional Logic and predicate Logic
  • Operational and Denotational Semantics
  • Hoare Triples
  • Weakest Precondition
  • Strongest Postconditions and Forward Assignments
  • Loop Invariants
  • Array Assignments
  • Await and Deadlocks (Parallel Programs)

Learning Takeways

  • It was nice theoretical course to get understanding of how program works. It developed a sense of reasoning in the context of program correctness and verification.