|
Nov 04, 2024
|
|
|
|
EEC 722 - Formal Methods in Software Engineering(4 credits) Prerequisite: EEC 521, Software Engineering, or permission of instructor.
Software system formal mechanisms, including specification, validation, and verification. Formal specification of concurrent systems using temporal logics. Evolution of formalism to model a certain system. Use of model checking and program verification tools for verification of concurrent software.
Click here for the schedule of courses
Add to Portfolio (opens a new window)
|
|