矩阵分块乘法（固定分块）
将矩阵划分为多个小的矩阵（方阵），通过依次计算小矩阵乘法的方式，得到原矩阵的乘积。 （验证时间约 388sec）
[Back to Index]
验证特点：自定义谓词，逻辑函数，量化断言，逻辑宏定义，幽灵语句，多重循环
标注说明：函数前条件：对于矩阵乘 Z=X • Y，给出矩阵 X、Y、Z 的行列数和分块 b 的大小；
函数后条件：Z = X • Y。
程序样例 
