|
|
|
Jan 31, 2025
|
|
2024-2025 Graduate Course 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.
|
|
|