付録C：記法対照表

Z 記法、Alloy、TLA+ などで共通に現れる概念の記号・用語を対照します（後続版で表形式に整備）。