Final remarks
•
See CD or Web for code samples,
links to all code, as well as how to
reproduce our results
•
Still working on a machine-generated
proof of correctness
•
Thank you for your attention.
