Please read lecture notes as soon as they are available. Send Feedback!
Date |
Topic |
| Sep 19 2011 | Notes on the ACL2s language |
| Sep 26 2011 | Notes on Boolean Logic |
| Oct 13 2011 | Notes on the ACL2 Logic |
| Nov 10 2011 | Notes on proving theorems about accumulator-based functions |
| Nov 17 2011 | Notes on interacting with ACL2s and Term Rewriting |
| Dec 7 2011 | Notes on Abstract Data Types and Observational Equivalence |
| Dec 7 2011 | An example of using Theorem Proving to Reason about Imperative Program |