#规约

形式化规约语言

介绍几种常用的形式化规约语言，包括 Z notation、TLA+ 和 Alloy。