Blogs/20141224-IntroductionToKeYProver/README.md at master · ikedaisuke/Blogs

テクノロジーカテゴリーの変更を依頼記事元:

github.com/ikedaisuke

11 usersがブックマークコメント

コメント

0

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

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 Techno logy in Göteborg University of Koblenz-Landau 執筆時では以下のツールが開発されているようです： KeY Prover (for Java Card) KeY-Hoare KeYmaera KeY for C ASMKey 本稿では Key Prover の簡単な紹介を行います。その他のツールについては、筆者の能力の限界＆アドベントカレンダーの締切のせいもあり、紹介することができません。また、KeY Prover の Ec

ブックマークしたユーザー

emonkak2015/03/02
u_wot_m82015/03/01
tokb2015/03/01
nabinno2015/02/27
screwbound2015/02/27
manabou2015/02/26
warufuzaketaichi2015/02/26
rjj2015/02/26

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx