Detailed Course Information |
Spring 2024 Semester
May 14, 2024 |
|
 |
||
 | Select the desired Level or Schedule Type to find available classes for the course. |
| CS 7430 - Formal Specification, Verification, and Synthesis |
|
Covers software and system modeling (how to formally describe the behavior of software and systems); specification (how to formally state the properties that the system should have); verification (how to check whether—and ultimately prove—that a system satisfies its specification); and synthesis (how to automatically generate software and systems that are "correct-by-construction").
4.000 Credit hours 4.000 Lecture hours Levels: Graduate Schedule Types: Lecture Computer Science Department Course Attributes: GSCS Computer & Info Science Restrictions: Must be enrolled in one of the following Levels: Graduate Must be enrolled in one of the following Colleges: Khoury Coll of Comp Sciences |
| Return to Previous | New Search |
|