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