System Specification, Verification, and Synthesis

fme-teaching / fm-courses

List of Formal Methods Courses

3 stars 0 forks source link

System Specification, Verification, and Synthesis #82

Open stavros7167 opened 3 years ago

stavros7167 commented 3 years ago

Course code, if applicable: CS 4830 University hosting the course: Northeastern University Contact person: Stavros Tripakis, stavros@northeastern.edu Concepts taught: Formal Specification,Labelled Transition Systems,Logic,Linear Temporal Logic (LTL),Model Checking,Modelling,SAT,SMT,Specification,Temporal Logic Tools used: Nusmv,Spin,Z3 Webpage: http://www.ccs.neu.edu/~stavros/fsvs21.html Year/Level: 4 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.