形式的手法による検証（ モデル検査法）関連の話題が周りで出ているが、いまいち自分は理解できていない。すこし時間をとってSPIN関連の書籍を読み合わさってみたので、忘れないようにまとめてみた。■SPINで検証できる事。 デッドロックが起きないか 期待し…