search

fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Logic and Computation #80

Open stavros7167 opened 3 years ago

stavros7167 commented 3 years ago

Course code, if applicable: CS 2800 University hosting the course: Northeastern University Contact person: Stavros Tripakis, stavros@northeastern.edu Concepts taught: Deductive Proof,Deductive Verification ,Formal Specification,Functional Programming,Induction,Interactive Theorem Proving,Logic,Proofs,SAT,SMT,Specification,Theorem Proving Tools used: Lean Webpage: https://course.ccs.neu.edu/cs2800f21/ Year/Level: 2 Reviewed: 2021/11/21

jff commented 3 years ago

Thank you for your contribution, @stavros7167 ! This course is now publicly shown in the course database.