unsoundsystem ⊢ blog

記事一覧

低レイヤのプログラムの形式検証ツール
seL4 kernel におけるプログラム検証の範囲と構成