Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

System Specification, Verification, and Synthesis #82

Open
stavros7167 opened this issue Sep 25, 2021 · 1 comment
Open

System Specification, Verification, and Synthesis #82

stavros7167 opened this issue Sep 25, 2021 · 1 comment

Comments

@stavros7167
Copy link

stavros7167 commented Sep 25, 2021

Course code, if applicable: CS 4830
University hosting the course: Northeastern University
Contact person: Stavros Tripakis, [email protected]
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
Copy link
Member

jff commented Nov 21, 2021

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants