CSSE 373 -- Formal Methods in Specification and Design

                                Quiz 1



Name:_________________________________________    Grade:________________
                                                        (for instr. use)



1. Who is the author of the required text for this course?




2. When is HW1 due? _______________________________


3. Unless otherwise specified, what's the required format for submitting
   homework?




4. To help me form balanced homework teams, please rate your level of
   confidence in your skills in each of the following areas:
   
                                  Very                            Very
                                 Unsure          Neutral        Confident
   
   a. Writing documents             1       2       3       4       5
   
   b. Solving programming problems  1       2       3       4       5
   
   c. Proving statements (MA275)    1       2       3       4       5
   


5. What caused the New London School explosion?







6. What steps were taken by the state of Texas to prevent future
   accidents like the New London School explosion?







7. What could have prevented the Therac-25 accidents?