This preview shows page 1. Sign up to view the full content.
Unformatted text preview: CS536 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 13 So for Monday I suggest to just read chapter 1. ...
View
Full
Document
 Spring '08
 cs536

Click to edit the document details