COMP 335: Formal Methods in Software Engineering¶
- COMP 313: Intermediate Object-Oriented Development
- instructor permission if prerequisite is missing
As embedded and networked systems are becoming ever more ubiquitous, we depend increasingly on the correctness of the software that controls such systems. This course studies the formal specification, verification, and synthesis of software.
An understanding of the role of formal methods in the construction of software systems; proficiency in the representative methods and tools, such as UML and ESC.