CS 7001 Mini Projects

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

  1. ACL2 Type Reasoning as Abstract Interpretation

  2. (An Initial Segment of) The Ordinals

  3. An Exercise in Program Correctness Using ACL2

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

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

  6. Formal Methods Projects

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