i613 Algebraic Formal Methods Assignment 3

Complete the proofs with CITP that are explained in the office hour on
Jan 07, Tuesday, 2014, describe your understanding on the
specifications (given), the proofs (both given and completed by you),
CITP (including any bugs and any suggestions to improve CITP) as a
report, and submit the completed proofs and report to the following
email addresses:

Daniel Gaina <daniel@jaist.ac.jp>
Kazuhiro Ogata <ogata@jaist.ac.jp>
"FUTATSUGI, Kokichi" <futatsugi@jaist.ac.jp>

Your report will be evaluated based on how much you understand the
specifications (given), the proofs (both given and completed by you),
and CITP. Hence, you are supposed to write your report that can
convince the lecturer of your understanding on them.

- Write your name and student ID clearly in the body of your e-mail.

- Write [i613-assignment3] in the Subject (i.e. Subject: [i613-assignment3]).

- Your report should be in pdf and its name should be

<your student ID><your name>-i613-assignment1.pdf

- Even if you do not complete all proofs, you can submit your partial
proofs. If that is the case, you are supposed to describe clearly what
have not been completed in your report.