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
        歴史を面白く学ぶコテンラジオ (COTEN RADIO) by COTEN inc.

        歴史を面白く学ぶコテンラジオ (COTEN RADIO)

        241 Listeners

        超相対性理論 by 超相対性理論

        超相対性理論

        17 Listeners

        ゆるコンピュータ科学ラジオ by ゆるコンピュータ科学ラジオ

        ゆるコンピュータ科学ラジオ

        21 Listeners

        リファクタリングとともに生きるラジオ by リファラジ

        リファクタリングとともに生きるラジオ

        0 Listeners

        日本一たのしい哲学ラジオ by 日本一たのしい哲学ラジオ

        日本一たのしい哲学ラジオ

        8 Listeners

        ぽこピーのゆめうつつ by POKOPEA

        ぽこピーのゆめうつつ

        5 Listeners