Mar 28, 2024  
Graduate Catalog 2012 - 2013 
    
Graduate Catalog 2012 - 2013 [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

EEC 622 - Formal Methods in Software Engineering

(4 credits)
Prerequisite(s): 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)