Maxima で綴る数学の旅

紙と鉛筆の代わりに、数式処理システムMaxima / Macsyma を使って、数学を楽しみましょう

2019-08-08から1日間の記事一覧

-セキュリティ- セキュリティの形式的証明の実世界での応用(3)

Formally verified software in the real worldCommunications of the ACM, Volume 61, Issue 10, pp. 68-77, October, 2018 前回はセキュリティの形式的な証明を可能にするソフトウェアのフレームワークとしてSEL4マイクロカーネルとCAmkESという部品ソフト…