Lecture Notes: Formal Methods in Software Engineering
COMP 335/435 | Department of Computer Science | Loyola University Chicago
You have reached the home of the Formal Methods in Software Engineering course (COMP 335/435) in the Computer Science Department of Loyola University Chicago.
Welcome! Wöllkomme! ¡Bienvenidos/as! Benvenuti/e!
Warning
These notes are still under construction for spring 2025, so expect a few rough edges. But we’re getting closer! Your contributions are highly welcome! Please submit issues and pull requests.
In this course, we study formal methods suitable for contemporary software engineering practice. This version of the course is normally taught by Konstantin Läufer.
Please get started by reading the Overview.
- Latest version
v25s.1
- Build status
-
See github.com/lucformalmethodscourse/lucformalmethodscourse.github.io/actions
- Repository
github.com/lucformalmethodscourse/lucformalmethodscourse.github.io
- Releases
The current book (v25s.1) in PDF is available at GitHub Releases
Todo
add sample projects, activities, tests, and (tiered) master list for presentations