Class Id: 8336
Days: MF
Start Time: 09:30 AM
End Time: 10:50 AM
Building: COMPU
Room: 302
Course Id: 3687
Departments and Numbers: 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:
Professors: Sanjai Narain
Click here to do another class search
Created by Bob Dondero.