ただツールを使うだけの形式手法から、君の手でつくる形式手法へ。Go 言語でモデル検査器を実装しながら学ぼう！ 形式手法 (formal methods) は計算機システムを何らかの数学的な対象によって記述し、その性質について理論的な保証を得る手法の総称である。通常、プログラムの開発時に行われる単体テストと比較すると記述…