カールスルーエ工科大学（Karlsruhe Institute of Technology）
ドイツの工科大学で、国の研究センターも兼ねる。Javaのプログラムを形式検証するKeYの研究プロジェクトを、ダルムシュタット工科大学やチャルマース工科大学と続けている。
- 本社
- ドイツ・カールスルーエ
提供しているサービス 2
最新の動き
まだ新しい動きは見つかっていません。
出典: KIT - Karlsruhe Institute of Technology、Project | The KeY Project、KeY LICENSE.TXT（GitHub）(確認した日 2026/10/29)