仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
- Why Amazon Chose TLA + | SpringerLink (Google Scholar)
- Practical TLA+: Planning Driven Development: Hillel Wayne
- Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers: Leslie Lamport
- TLA+tlaplus/tlaplus: TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Follow up