assignment 6

assignment 6 - CS-536 spring 2010 Assignment#6-Due date...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: CS-536 spring 2010 Assignment #6 -----------------------------------------------------------Due date – April 22 2010 -----------------------------------------------------------Question 0 Read Chapter 1 from your UNITY notes. Question 1. Consider the earliest meeting time UNITY program. 1a. Construct and formally prove partial correctness of a deterministic sequential program by showing that your program is a refinement of the UNITY program. 1b. Prove partial correctness directly 1c. Prove termination of your program. Question 2. Consider the earliest meeting time UNITY program. 1a. Construct and formally prove partial correctness of a non deterministic sequential program by showing that your program is a refinement of the UNITY program. 1b. Prove partial correctness directly 1c. Prove termination of your program. Question 3. Prove that the UNITY program for sorting an array has a fixed point. Note: On Monday we will go over more studies to help with questions 1-3 So for Monday I suggest to just read chapter 1. ...
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online