Course code: CSCI 195Y
University hosting the course: Brown University
Contact person: Tim Nelson (tbn@cs.brown.edu)
Concepts taught: Predicate and relational logic; invariants and induction; (basic) linear temporal logic, propositional natural deduction, SAT- and SMT-solving; property-based testing.
Tools used: Alloy, Dafny, Spin, Isabelle
Webpage: http://cs.brown.edu/courses/cs195y/
Course code: CSCI 195Y University hosting the course: Brown University Contact person: Tim Nelson (tbn@cs.brown.edu) Concepts taught: Predicate and relational logic; invariants and induction; (basic) linear temporal logic, propositional natural deduction, SAT- and SMT-solving; property-based testing. Tools used: Alloy, Dafny, Spin, Isabelle
Webpage: http://cs.brown.edu/courses/cs195y/