This repository serves as a database of formal methods courses. Courses are kept here as issues. We also provide a web interface to browse and search the courses database.
To add a new course, we suggest that you use the online form available online. Alternatively, you can create a new issue in this repository (following the template provided).
This database is maintained by the Formal Methods Teaching Committee. If you have any suggestions, please get in touch!