Blogs/20141224-IntroductionToKeYProver/README.md at master · ikedaisuke/BlogsKeY-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
