Alloyでシステム設計を形式検証する（前篇）

Alloyという形式仕様記述言語の使い勝手も試したくなったので触ってみる。