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

petite_blue のブックマーク 2024/05/06 18:56

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4753027380955782848/comment/petite_blue" data-user-id="petite_blue" data-entry-url="https://b.hatena.ne.jp/entry/s/github.com/verus-lang/verus" data-original-href="https://github.com/verus-lang/verus" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fgithub.com%2Fverus-lang%2Fverus" data-user-icon="/users/petite_blue/profile.png">GitHub - verus-lang/verus: Verified Rust for low-level systems code</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/rust">rust</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E8%A8%BC%E6%98%8E%E6%94%AF%E6%8F%B4">証明支援</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/%E5%BD%A2%E5%BC%8F%E7%9A%84%E6%A4%9C%E8%A8%BC">形式的検証</a>]</li></ul><br><p style="clear: left"></p><a class="datetime" href="https://b.hatena.ne.jp/petite_blue/20240506#bookmark-4753027380955782848"><span class="datetime-body">2024/05/06 18:56</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

GitHub - verus-lang/verus: Verified Rust for low-level systems code

github.com/verus-lang2024/05/05

Verus is a tool for verifying the correctness of code written in Rust. Developers write specifications of what their code should do, and Verus statically checks that the executable Rust code will a...

17 人がブックマーク・0 件のコメント

他のコメントを読む

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

はてなブックマーク

GitHub - verus-lang/verus: Verified Rust for low-level systems code

はてなブックマーク

公式Twitter

はてなのサービス