Literature Study Exercise 2

Document Sample
Literature Study Exercise 2 Powered By Docstoc
					                     Literature Study Exercise 2


                                 Mar 11, 2008


1. What are the design goals of the code generation and model checking components in
   HUGO?

2. What is the program analysis problem tackled by the RED paper? What does it try
   to accomplish?




                                        1