サクサク読めて、
アプリ限定の機能も多数！
アプリで開く
frog hopSomenotes onRust, mutable aliasing and formal verification Recently Boats wrote ablog post aboutRust, mutable aliasing, and the sad story of local reasoning over many decades of computer science. I recommend that post and agree withits main points!Go readit! But I also thought I'd add a little more detail to an areait's less acutely focused on: formal methods / formal verification.
This work is funded by the Aleph Zerocrypto-currency to verify theirRust smart contracts. You can follow us on X to get our updates. We propose tools and services to make your codebase bug-free with formal verification. Contact us at contact@formal.land to chat ☎️! A crab in a library Initial run 🐥 An initial run of coq-of-rust on the alloc and core crates ofRust generated us two files of a f
1リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
