CMSC838G
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.
Sister Courses: CMSC838B, CMSC838C, CMSC838D, CMSC838E, CMSC838F, CMSC838J, CMSC838K, CMSC838L, CMSC838M, CMSC838N, CMSC838X
Past Semesters
11 reviews
Average rating:
4.09
5 reviews
Average rating:
4.80
5 reviews
Average rating:
4.80