『Papers on VeriFast』へのコメント

思ったよりずっと良い。lemmaなども記述できる

masterq のブックマーク 2015/10/31 18:56

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/270244897/comment/masterq" data-user-id="masterq" data-entry-url="https://b.hatena.ne.jp/entry/s/people.cs.kuleuven.be/~bart.jacobs/verifast/" data-original-href="https://people.cs.kuleuven.be/~bart.jacobs/verifast/" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fpeople.cs.kuleuven.be%2F~bart.jacobs%2Fverifast%2F" data-user-icon="/users/masterq/profile.png">Papers on VeriFast</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><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/java">java</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/verify">verify</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/smt">smt</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/formal-method">formal-method</a>]</li></ul><br><p style="clear: left">思ったよりずっと良い。lemmaなども記述できる</p><a class="datetime" href="https://b.hatena.ne.jp/masterq/20151031#bookmark-270244897"><span class="datetime-body">2015/10/31 18:56</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

Papers on VeriFast

people.cs.kuleuven.be/~bart.jacobs2015/10/31

The VeriFast program verifier By Bart Jacobs and Frank Piessens Technical Report CW-520, Department of Computer Science, Katholieke Universiteit Leuven, Belgium, August 2008 [PDF] The VeriFast Prog...

5 人がブックマーク・1 件のコメント

他のコメントを読む

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

はてなブックマーク

Papers on VeriFast

はてなブックマーク

公式Twitter

はてなのサービス