►
CIS700:
Formal Methods in Computer Security
Readings
Policies /
Grading
Schedule /
Lectures
Collaboration and the Honor Code
▼
Schedule /
Lectures
1
Week 1:
Intro, Datalog, and Horn SAT
2
Week 2:
Datalog Implementation
3
Week 3:
First-
Order Logic
7.3
← prev
up
next →
Schedule / Lectures
Weekly lectures are shown in the table on the left...
← prev
up
next →