技術ブログを開設する
ログイン
もっと気軽にアウトプットできる技術ブログプラットフォーム

形式手法

「形式手法」に関する情報が集まっています

人気の投稿

新着の投稿

Formal Reasoning About the Security of Amazon Web Services 形式手法に関するトップカンファレンスであるCAV 2018にて,AWSから講演(Invited Paperの発表)がありました. そこでの発表からAWSは形式手法にかなり力を入れている印象を受け,割と重要な内容かなと思い,単なる箇条...

2018-11-07
このエントリーをはてなブックマークに追加