Homework: Reading questions

Submit two items to the submission website (see link in the navigation bar at the top of the page):

Answer the following question:

If the RockSalt authors had a bug in their C implementation of the checker how would they notice? What theorem would they be unable to proof and why?

Questions or comments regarding 6.826? Contact us on Piazza or send e-mail to the 6.826 staff at 6826-staff@lists.csail.mit.edu.

Creative Commons License