寡聞にして知らなかったのでちょっと調べてみる。TLA+とPlusCalか。

tmatsuu のブックマーク 2018/10/30 21:47

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/373104385/comment/tmatsuu" data-user-id="tmatsuu" data-entry-url="https://b.hatena.ne.jp/entry/s/masateruk.hatenablog.com/entry/2018/10/23/094048" data-original-href="https://masateruk.hatenablog.com/entry/2018/10/23/094048" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fmasateruk.hatenablog.com%2Fentry%2F2018%2F10%2F23%2F094048" data-user-icon="/users/tmatsuu/profile.png">AWSにおける形式手法 - masateruk’s blog</a><br><p style="clear: left">寡聞にして知らなかったのでちょっと調べてみる。TLA+とPlusCalか。</p><a class="datetime" href="https://b.hatena.ne.jp/tmatsuu/20181030#bookmark-373104385"><span class="datetime-body">2018/10/30 21:47</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

AWSにおける形式手法 - masateruk’s blog

masateruk.hatenablog.com2018/10/23

AWSにおける形式手法の記事（https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf）を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。産業界では長年形式手法は多大な工数をかけて比...

256 人がブックマーク・30 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

AWSにおける形式手法 - masateruk’s blog

はてなブックマーク

公式Twitter

はてなのサービス