|
|
|
Dec 03, 2024
|
|
2023-2024 Graduate Course Catalog [ARCHIVED CATALOG]
|
CIS 623 - Assured Programming with Formal MethodsCollege of Engineering and Computer Science
3 credit(s) At least 1x fall or spring
Reasoning about programs and secure systems. Specification-based, test-driven program development and verification. Development of programs using software tools for secure software systems.
|
|
|