EECS 755

Software Requirements Modeling and Analysis


Project 1

Project 1 includes the definition of natstack we created in class and a collectino of sanity check tests, unproved properties about stacks, and a couple of practice problems over numbers. A few of these proofs require commands that we have not learned as of September 14 lecture, but I wanted to make them available so you can experiment on your own and get started on the assignment.

In the Project 1 file simply replace Admitted with a proof.

Submit your Project 1 file updated with definitions and proofs online using Blackboard.