介绍形式化方法的基本概念和应用场景。
介绍几种常用的形式化规约语言，包括 Z notation、TLA+ 和 Alloy。
形式化方法是指用数学方法来描述、分析和验证计算机系统的技术。
今天在研究循环不变式生成的新方法，发现用矩阵代数来表示仿射变换可以大大简化问题。