エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
Blogs/20141224-IntroductionToKeYProver/README.md at master · ikedaisuke/Blogs
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Blogs/20141224-IntroductionToKeYProver/README.md at master · ikedaisuke/Blogs
KeY-project とはプログラム、 特に Java (の subset) プログラムに対する形式手法のためのツール群です... KeY-project とはプログラム、 特に Java (の subset) プログラムに対する形式手法のためのツール群です。 The KeY Book (2007) によれば、 以下の大学の共同プロジェクトです: University of Karlsruhe Chalmers University of Technology in Göteborg University of Koblenz-Landau 執筆時では以下のツールが開発されているようです: KeY Prover (for Java Card) KeY-Hoare KeYmaera KeY for C ASMKey 本稿では Key Prover の簡単な紹介を行います。 その他のツールについては、筆者の能力の限界&アドベントカレンダーの締切のせいもあり、 紹介することができません。 また、KeY Prover の Ec