Misreading Chat

#45 – Why Amazon Chose TLA +


Listen Later

仕様検証言語 TLA+ の AWS における使用事例について向井が話します。感想などはハッシュタグ #misreading か [email protected] にお寄せください。

https://misreading.chat/wp-content/uploads/2019/01/ep45.mp3

  • Why Amazon Chose TLA +  | SpringerLink (Google Scholar)
    • How Amazon Web Services Uses Formal Methods
    • 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

      • Grenade! Dependently Typed Neural Networks — Monday Morning Haskell
      • ハイパーバイザの作り方
      • エンジニアなら知っておきたい仮想マシンのしくみ:連載|gihyo.jp … 技術評論社
      • ...more
        View all episodesView all episodes
        Download on the App Store

        Misreading ChatBy Hajime Morrita, Jun Mukai

        • 5
        • 5
        • 5
        • 5
        • 5

        5

        6 ratings


        More shows like Misreading Chat

        View all
        Rebuild by Tatsuhiko Miyagawa

        Rebuild

        48 Listeners

        耳で学ぶAI、ロボシンク by 矢野 哲平

        耳で学ぶAI、ロボシンク

        0 Listeners