CCIS HOME | NU HOME | SEARCH
|
|
| About the College |
|
| Undergraduate |
|
| Graduate |
|
| Research |
|
| Cooperative Education |
|
| People |
|
| Organizations |
|
| Resources |
|
| Colloquium & Seminars |
|
| Contact Information |
|
|
|
Graduate Computer Science
Course Descriptions CS G274: Foundations of Formal Methods and Software Analysis Covers necessary mathematical background such as first-order logic, and some measure theory. Studies the formal methods in more depth and breadth. Discusses the current state of the art in verification and semantics of probabilistic, real-time, and hybrid systems. Prerequisites: CS G110/CS G270 MS: SE Credit hours: 4 Course offerings: |