EEE 5702

Automated Hardware/Software Verification

3 Credits

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

Prerequisites & course information

Grading Scheme: Letter Grade Prerequisite: Data Structures, Algorithms and Architecture (Prerequisites allow students to register without departmental intervention. Students are expected to review the syllabus and consult the instructor if they have questions regarding prerequisites).

Sources

Course catalogue ↗2025-2026