.. _appendix-syllabi:

Appendix: Course Syllabi
------------------------

These are the official course syllabi for the most recent section(s) of this course.


Course: COMP 335/488 Formal Methods in Software Engineering
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

- Prerequisites: 
  `COMP 272 <https://academics.cs.luc.edu/courses/comp272.html>`_/`400C <https://academics.cs.luc.edu/courses/comp400c.html>`_
- Official course description: `Comp 335 <https://academics.cs.luc.edu/courses/comp335.html>`_


.. include:: syllabi/2025Spring.rst
.. include:: syllabi/2024Spring.rst
.. include:: syllabi/2022Fall.rst