The page uses Browser Access Keys to help with keyboard navigation. Click to learn moreSkip to Navigation

Different browsers use different keystrokes to activate accesskey shortcuts. Please reference the following list to use access keys on your system.

Alt and the accesskey, for Internet Explorer on Windows
Shift and Alt and the accesskey, for Firefox on Windows
Shift and Esc and the accesskey, for Windows or Mac
Ctrl and the accesskey, for the following browsers on a Mac: Internet Explorer 5.2, Safari 1.2, Firefox, Mozilla, Netscape 6+.

We use the following access keys on our gateway

n Skip to Navigation
k Accesskeys description
h Help
    University of Florida
   
 
  Sep 24, 2017
 
 
    
2017-2018 Graduate Catalog
[Add to Portfolio]

EEE 5702: Automated Hardware/Software Verification


Credits: 3                    Grading Scheme: Letter

Prerequisite: Data Structures, Algorithms and Architecture (These prerequisites allow students to register for course without departmental intervention. Graduate students are expected to review the syllabus and consult the instructor if they have any questions regarding listed prerequisites).      

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]