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.