付録B：ツールインストールガイド

Alloy Analyzer、TLC、SPIN、Coq などの基本的な導入手順とトラブルシューティングの要点をまとめます（後続版で各 OS 別に詳細化）。