Due: Wed, 30 Nov 2016 11:00:00 -0800
Read the KLEE paper.
Take Figure 11 of the KLEE paper as an example. Describe how KLEE proves the equivalence of the two mod functions. Be specific about the execution paths.
Describe one type of bugs that KLEE cannot catch.
Write down your answers in a file named answers.txt, and upload it
using the course dropbox.