サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
TGS2024
speakerdeck.com/eldesh
静的コード解析の会 第2回 (https://metasepi.connpass.com/event/50450/) で発表した資料です。 VeriFastによるC(およびJava)言語の停止性証明に関する解説を行っています。停止性検査を行う理論的背景を説明し、これを行う際にVeriFastの採る大ま…
このページを最初にブックマークしてみませんか?
『speakerdeck.com』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く