Instructor: Stanley Bak

Email: Stanley.Bak@georgetown.edu

Syllabus

Propositional / Predicate Logic Rules

Z3 and Z3py Demo Files

Homework

Homework 1 (Modified 9/16/2019. Due 9/24/2019 at the start of class. Code can be e-mailed to me.)

Lectures and Supplemental Readings

8/29/2019 Lecture 1 - Overview

Supplemental reading: https://www.seattletimes.com/business/boeing-aerospace/failed-certification-faa-missed-safety-issues-in-the-737-max-system-implicated-in-the-lion-air-crash/

9/3/2019 Lecture 2 - Propositional Logic

Supplemental reading: http://www-users.math.umn.edu/~arnold/disasters/ariane5rep.html

9/5/2019 Lecture 3 - Predicate Logic

Supplemental reading: https://cacm.acm.org/magazines/2017/8/219606-the-science-of-brute-force/fulltext

9/10/2019 Lecture 4 - Predicate Logic / SAT Tool Demo

9/12/2019 Lecture 5 - Hoare Logic

Supplemental reading: https://www.cs.cmu.edu/~crary/819-f09/Hoare69.pdf

9/17/2019 Lecture 6 - Hoare Logic, Part 2

9/19/2019 Lecture 7 - Abstract Interpretation