Detailed Course Information |
Fall 2024
Nov 12, 2024 |
|
 |
||
 | Click the Schedule Type to find available offerings of the course on the Schedule of Classes. |
| CS 4560 - Verification of Systems |
|
Technique for verifying, validating and testing software and hardware systems. Topics covered will include modeling, abstraction methods, evaluation and certification, and computer-aided verification methods.
3.000 Credit hours 3.000 Lecture hours Grade Basis: ALP Dept/Computer Science Department Course Attributes: Tech Elect CS, Engr, &Sciences Restrictions: Must be enrolled in one of the following Campuses: Georgia Tech-Atlanta * Prerequisites: Undergraduate Semester level CS 1050 Minimum Grade of C and Undergraduate Semester level CS 3510 Minimum Grade of C |
| Return to Previous | New Search |
|