読んでみると TLA+ Toolbox の使い方をはじめ色々と学べる文書でした。
デッドロックについてとか、証明を行おうとしたらどうなのかとか、一度読んでおくと良いように思います。
- 日本語対訳版 : Euclid Writes an Algorithm: A Fairytale (PDF)
参考
- Microsoft Research : 英語版
More than 3 years have passed since last update.
読んでみると TLA+ Toolbox の使い方をはじめ色々と学べる文書でした。
デッドロックについてとか、証明を行おうとしたらどうなのかとか、一度読んでおくと良いように思います。
Register as a new user and use Qiita more conveniently