Software Foundations is a broad introduction to the mathematical underpinnings of reliable software.
Course: Software Foundations, Spring 2020
Taught by: Prof. Venkatesh Chopella
See Coq for Coq proofs assignment, merge-sort for multi-stage transition system design assignment, and balanced-sliding-window for transition system project.
Similar courses: