EECS 755

Software Requirements Modeling and Analysis


Project 0

Project 0 is a warm up project using the Coq prover. None of the proofs or definitions are particularly difficult, but they will get you used to using the verifier. In the Project 0 file simply replace Admitted with either a function definition or a proof.

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