CSCI-P 515 SPECIFICATION AND 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 2024
Component | Credits | Class | Status | Time | Day | Facility | Instructor |
---|---|---|---|---|---|---|---|
LEC | 3 | 11504 | Open | 1:15 p.m.–2:30 p.m. | MW | IF 0119 | Leivant D |
Regular Academic Session / In Person
LEC 11504: Total Seats: 25 / Available: 14 / Waitlisted: 0
Lecture (LEC)
- Above class meets with CSCI-P 415