May 21, 2018  
Graduate Catalog 2017-2018 
    
Graduate Catalog 2017-2018
[Add to Portfolio]

EEC 722 - Formal Methods in Software Engineering

[4 credit(s)]
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]