Lecture notes for COMP 335/488: Formal Methods in Software Engineering at Loyola University Chicago's Computer Science Department. This version of the course is normally taught by Konstantin Läufer 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!