manboubird のブックマーク / はてなブックマーク

manboubird のブックマーク 2021/09/22 22:20

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4670440683764318114/comment/manboubird" data-user-id="manboubird" data-entry-url="https://b.hatena.ne.jp/entry/s/cacm.acm.org/research/how-amazon-web-services-uses-formal-methods/" data-original-href="https://cacm.acm.org/research/how-amazon-web-services-uses-formal-methods/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fsiteproxy.ruqli.workers.dev%3A443%2Fhttps%2Fcacm.acm.org%2Fresearch%2Fhow-amazon-web-services-uses-formal-methods%2F" data-user-icon="/users/manboubird/profile.png">How Amazon Web Services Uses Formal Methods – Communications of the ACM</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/tla%2B">tla+</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/aws">aws</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/architecture">architecture</a>]</li></ul><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/manboubird/20210922#bookmark-4670440683764318114"><span class="datetime-body">2021/09/22 22:20</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

How Amazon Web Services Uses Formal Methods – Communications of the ACM

cacm.acm.org2015/03/30

Since 2011, engineers at Amazon Web Services (AWS) have used formal specification and model checking to help solve difficult design probl ems in critical systems. Here, we describe our motivation an...

12 人がブックマーク・2 件のコメント

他のコメントを読む

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

はてなブックマーク

How Amazon Web Services Uses Formal Methods – Communications of the ACM

はてなブックマーク

公式Twitter

はてなのサービス