Lab Activities - TSC Workshop 2008 |
||||||||||||||||||
|
Session 02 10:30-noon |
Select some following projects, including at least one from
Level 1. Some are
interdependent Ignore the parts having to do with packaging, i/o, or theorems. Run DoubleCheck experiments to exercise your functions.
|
|||||||||||||||||
|
Session 04 2:45-5:45 |
Revisit your projects Level 1 projects from Session 02. Package the service functions and automated tests in separate books. Add a third book for theorems, convert your predicate-based tests to theorems for the new book, and try to get ACL2 to prove them. | |||||||||||||||||
|
Session 07 Lab 10:30-noon |
Small project on file i/o, another with GUI (Lecture, Session 06) | |||||||||||||||||
|
Session 09 1:30-3:15 |
Work on crypto project | |||||||||||||||||
| Session 10 3:30-5:45 | Continue crypto project | |||||||||||||||||
|
Session 13 10:00-11:30 |
Work on steganography project | |||||||||||||||||
|
Session 16 2:15-3:30 |
Worm game experiments (need new rand); Continue steganography | |||||||||||||||||
|
Tools |
Software installations Useful tools for some of these projects |
|||||||||||||||||
|
Solutions |
Example solutions Lab Solutions by Participants |