EECS 755

Software Requirements Modeling and Analysis


April 7 Class

I just pushed an update to the class slide deck and added a new Coq file to the class repo. The Coq file is called IndProp.v and contains examples for class discussion. The slide set contains new slides that contain a subset of information from the Coq file. Pull the repo and you’ll be ready to go.

Bring your Pset15 questions to class. Stop being shy about asking questions!