Advanced Topics in Programming Languages; Testing and Verification
This course will focus on establishing software correctness using advanced formal verification, random-testing, and fuzzing techniques. Knowledge of at least one functional programming language (e.g. OCaml, Haskell, or Coq) is strongly recommended.
* "W"s are considered to be 0.0 quality points. "Other" grades are not factored into GPA calculation. Grade data not guaranteed to be correct.