|
|
|
Apr 25, 2024
|
|
2021-2022 Graduate Course Catalog [ARCHIVED CATALOG]
|
CSE 773 - CAD: Formal DesignCollege of Engineering and Computer Science
3 credit(s) At least 1x fall or spring
This course teaches the theory, practice, and tools for using higher-order logic as a means for describing, designing, and verifying computer systems.
PREREQ: CSE 561 , CSE 607
|
|
|