CS 7001 Mini Projects

Here are some mini projects that I contributed to the 7001 course, Fall 2001

  1. (An Initial Segment of) The Ordinals

  2. An Exercise in Program Correctness Using ACL2

  3. Formal model of software caching (joint with Kenneth Mackenzie)

  4. Formally modeling security protocols (joint with Wenke Lee)

  5. Formal Methods Projects

Last updated October 2001
manolios@cc.gatech.edu 		Back to Pete's home page
College of Computing