Lecture notes for COMP 335/488: Formal Methods in Software Engineering <http://courses.cs.luc.edu/html/comp335.html> at Loyola University Chicago's <http://luc.edu> Computer Science Department <http://luc.edu/cs>.
This version of the course is normally taught by Konstantin Läufer <https://github.com/klaeufer> and focuses TBD.
UNDER CONSTRUCTION FOR SPRING 2024
.. warning:: These notes are still being written, so expect a few rough edges. But we're getting closer!