About me Masateru Kawaguchi Twitter : @masateruk Github : masateruk Blog : http://d.hatena.ne.jp/masateruk/ Contents Basic Spin Manual 日本語訳(HTML版 / PDF版) Spin Model Checker のマニュアル Basic Spin Manual の日本語訳です。翻訳に協力してくださった皆様に感謝します。 Presentations 2018 年 3 月 JaSST’18 Tokyo 『ケーススタディーで学ぶ仕様の書き方』(PDF) 2017 年 4 月 アジャイルジャパン 『アジャイルと形式手法』 2017 年 3 月 PPL2017 『協働ロボット CORO の開発における形式的仕様記述 KML の開発と適用』 2017 年 2 月 JaS