CS 590N: Logical Methods in Information Security

(Spring 2008)

Syllabus (Tentative)

   

Propositional Logic

  • Natural deduction
  • Semantics
  • SAT Solvers
  • Horn clauses

Predicate Logic

  • Proof theory
  • Semantics

Verification by model checking

  • Linear-time temporal logic
  • The NuSMV model checker
  • Branching-time temporal logic

Program verification

Modal logics

Binary decision diagrams