Added missing excerpt file used in the second presentation.
Merge branch 'master' of https://github.com/bradyjgarvin/csce990
Adapted code to run on Linux and return counterexample traces.
Merge branch 'master' of https://github.com/bradyjgarvin/csce990
Finished inclusion of abstraction.