Audio is streamed directly from the publisher (misreadingchat.files.wordpress.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か [email protected] にお寄せください。
- 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