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 requried format for submitting
   homework?




4. What caused the New London School explosion?







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







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