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

nabinno のブックマーク 2018/04/08 17:59

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/20922438/comment/nabinno" data-user-id="nabinno" data-entry-url="https://b.hatena.ne.jp/entry/www.cprover.org/cbmc/" data-original-href="http://www.cprover.org/cbmc/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2F2.zoppoz.workers.dev%3A443%2Fhttp%2Fwww.cprover.org%2Fcbmc%2F" data-user-icon="/users/nabinno/profile.png">CBMC: Bounded Model Checking for Software</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/cbmc">cbmc</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/c">c</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/model-checking">model-checking</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/formal-methods">formal-methods</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/static-analysis">static-analysis</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/software-testing">software-testing</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/specification">specification</a>]</li></ul><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/nabinno/20180408#bookmark-20922438"><span class="datetime-body">2018/04/08 17:59</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

CBMC: Bounded Model Checking for Software

www.cprover.org2010/04/19

About CBMC CBMC is a Bounded Model Checker for C and C++ programs. It supports C89, C99, most of C11/C17 and most compiler extensions provided by gcc, clang, and Visual Studio. A variant of CBM...

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

他のコメントを読む

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

はてなブックマーク

CBMC: Bounded Model Checking for Software

はてなブックマーク

公式Twitter

はてなのサービス