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 on formal methods suitable for contemporary software engineering practice.
UNDER CONSTRUCTION FOR SPRING 2025
Warning
These notes are still being written, so expect a few rough edges. But we're getting closer!