Princeton University Computer Science Department

Computer Science 598D Advanced Topics In CS: Formal Methods in Networking

Spring 2010

Directory
General Information

Course Summary: Modern formal methods are mature enough for solving industrial-strength problems. This semester-long seminar course will explore these methods in the context of networking. The methods and related systems will include Binary Decision Diagrams and SAT and SMT solvers for Boolean logic, Prolog and Datalog for definite-clause subset of first-order logic, Alloy for first-order logic, Promela for concurrent programs and Isabelle for higher-order logic.

Click here for more information.

Administrative Information

Lectures: Room 302, Monday and Friday 9:30-10:50

Instructor: Dr. Sanjai Narain, narain@research.telcordia.com

Graduate Coordinator: Melissa Lawson - 310 CS Building - 258-5387 mml@cs.princeton.edu

Teaching Assistants: TBA