CSCI-P 415 INTRODUCTION TO VERIFICATION (3 CR.)
Tools and techniques for rigorous reasoning about software and digital hardware. Safety, reliability, security, and other design-critical applications. Decision algorithms. Projects involving the use of automated reasoning, such as model checkers, theorem provers, and program transformation.
1 classes found
Spring 2025
| Component | Credits | Class | Status | Time | Day | Facility | Instructor |
|---|---|---|---|---|---|---|---|
| LEC | 3 | 14148 | Open | 9:35 a.m.–10:50 a.m. | MW | IF 0119 | Tobin-Hochstadt S |
Regular Academic Session / In Person
LEC 14148: Total Seats: 15 / Available: 7 / Waitlisted: 0
Lecture (LEC)
- Above class meets with CSCI-P 515