Maxima で綴る数学の旅

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

2019-08-01から1ヶ月間の記事一覧

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

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

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

Formally verified software in the real worldCommunications of the ACM, Volume 61, Issue 10, pp. 68-77, October, 2018 の論文紹介の続きです。今回は形式的証明を可能にするソフトウェアのフレームワークを紹介します。次回ではこのフレームワークを利…