毎週水曜日更新中!
…
continue reading
Content provided by Hajime Morrita , Jun Mukai. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Hajime Morrita , Jun Mukai or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
#45 – Why Amazon Chose TLA +
MP3•Episode home
Manage episode 225222705 series 2151064
Content provided by Hajime Morrita , Jun Mukai. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Hajime Morrita , Jun Mukai or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/01/ep45.mp3
- 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
142 episodes
MP3•Episode home
Manage episode 225222705 series 2151064
Content provided by Hajime Morrita , Jun Mukai. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Hajime Morrita , Jun Mukai or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。
https://misreading.chat/wp-content/uploads/2019/01/ep45.mp3
- 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
142 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.