EECS 755

Software Requirements Modeling and Analysis


Midterm Exam

As you look through these topics, keep in mind that I do not care about the specifics of Coq commands. For example, you needn’t remember that induction performs induction, but you should remember what induction does. Similarly for all other definition and proof rules.

I will not ask you to do proofs. However, I may ask you to look at a proof and describe what is happening or describe a theorem that should be proved.