|
|
|
Feb 21, 2025
|
|
2019-2020 Graduate Course Catalog [ARCHIVED CATALOG]
|
CIS 652 - Building Assured ComponentsCollege of Engineering and Computer Science
3 credit(s) At least 1x fall or spring
Crosslisted with: CSE 652
Development of system components with provable functional properties. Students gain hands-on experience walking the virtuous cycle of executable specifications, formal verification, and translation of specifications into a mainstream language.
PREREQ: CIS 634
|
|
|