Jun 22, 2018  
2017-2018 Graduate Catalog 
    
2017-2018 Graduate Catalog
[Add to Portfolio]

EEE 5702: Automated Hardware/Software Verification


Credits: 3                    Grading Scheme: Letter

Prerequisite: Data Structures, Algorithms and Architecture. Students may not take this course if they have already taken EEE4701.      

Develop modeling, formal specification, and automated verification skills for analyzing complex hardware and/or software systems. Hands-on experience with model checking tools.



[Add to Portfolio]