pvs-assignment-2-git：1月8日至20日在CMI包含ITP课程第二次PVS作业的所有相关文件的存储库

这个git仓库中有三个分支。 master包含所有问题的.pvs和.prf文件。 问题的书面答案在answers.md文件中。 编辑liftifex包含证据和答案的文件liftifex 。 edit-sum-plus包含带有证明和sum_plus答案的文件。 edit-opsem包含带有opsem答案的编辑。 编辑opsemstates包含的文件和相应edites opsemwithstates4class.pvs由指定的问题C.2 。 most-problem-2包含问题D指定的多数问题解决方案的编辑。 balls-problem包含问题E指定的黑白球问题解决方案的编辑。 redo-in-pvs-6是在pvs 6中重做pvs 7证明以避免兼容性问题的分支。 请忽略分支majority-problem 。