Lecture Notes: Formal Methods in Software Engineering

Comp 335 | Department of Computer Science | Loyola University Chicago

Welcome! Willkomme! ¡Bienvenidos/as! Benvenuti/e!

Warning

These notes are still under construction for spring 2024, 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: v24s.14
Build status: See github.com/lucformalmethodscourse/lucformalmethodscourse.github.io/actions
Repository: github.com/lucformalmethodscourse/lucformalmethodscourse.github.io
Releases: The current book (v24s.14) in PDF is available at GitHub Releases

Todo

Indices and tables (put at end of TOC above)

Todo

add sample projects, activities, tests, and (tiered) master list for presentations