| Class Id | 8336 |
| Days | MF |
| Start time | 09:30 AM |
| End time | 10:50 AM |
| Building | COMPU |
| Room | 302 |
| Course Id | 3687 |
| Dept and Number | COS 598D |
| Area | |
| Title | Advanced Topics in Computer Science: Formal Methods in Networking |
| Description | Modern formal methods are mature enough for solving industrial-strength problems. This course will explore these methods and related systems in the context of networking. These will include Binary Decision Diagrams, SAT and SMT solvers for Boolean logic, Prolog and Datalog for definite-clauses, Alloy for first-order logic, Promela for concurrent programs and Isabelle for higher-order logic |
| Prerequisites | |
| Professor | Sanjai Narain |