COMP 435

Formal Methods in Software Engineering

Loyola University Chicago · UGRD · Fall 2026

1 section

Catalog description

As embedded and distributed systems are becoming ever more ubiquitous, we depend increasingly on the correctness and security of the software that controls such systems. This course studies the formal specification, verification, and synthesis of software.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 10 hours ago

001

Availability not recently verified

Class #loyola_chicago-1024Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?