modelchecker golangの並行処理のための言語要素に対応するCSPの記述を理解して形式検証の実践を開始しよう(検証編:クリティカルセクション)FormalMethodsGoCSPmodelcheckerpatGo