www.key-project.org公式サイトを開く
このサイトはほかのサイトの中での表示を許可していないため、ここでは映せません。
公式サイトを開く特徴を図で見る
掲載データ(公式サイトで確認できた範囲)とウォッチの記録から計算しています。編集部の主観の点数ではありません。
表で見る・算出の方法
| 軸 | KeY |
|---|---|
| 機能 | 0 |
| セキュリティ | 0 |
| 連携 | 0 |
| 端末 | 60 |
| 更新の頻度 | 0 |
| 対象の規模 | 0 |
- 機能: 分野の機能 6 項目のうち、公式で確認できた 0 項目の割合
- セキュリティ: SSO・2 段階認証・ISMS 認証・国内保管の 4 項目のうち、公式で確認できた 0 項目
- 連携: 公式に連携をうたう主なサービス 0 件(8 件で満点)
- 端末: 使える端末 3 種類(Web・iOS・Android・Windows・Mac の 5 種類で満点)
- 更新の頻度: 直近 180 日の動き 0 件(掲載しているサービスの中での順位を 0〜100 にした値)
- 対象の規模: 想定する会社の規模 0 区分(個人〜大企業の 4 区分で満点)
確かめた 14 項目(全サービス共通 8・分野ごと 6)のうち、公式サイトに記載があったもの。
まだ記録がありません。
11月12月1月2月3月4月5月6月7月8月9月10月
表で見る
| 11月 | 0 件 |
|---|---|
| 12月 | 0 件 |
| 1月 | 0 件 |
| 2月 | 0 件 |
| 3月 | 0 件 |
| 4月 | 0 件 |
| 5月 | 0 件 |
| 6月 | 0 件 |
| 7月 | 0 件 |
| 8月 | 0 件 |
| 9月 | 0 件 |
| 10月 | 0 件 |
KeYとは
Javaのプログラムに仕様記述言語JMLで仕様を書き、その仕様どおりに動くことを演繹的に証明する形式検証のツール。実行の流れを図で見せる記号実行のデバッガーや、テストケースの生成にも使える。1998年にカールスルーエ大学（今のKIT）で始まった研究プロジェクトで、授業でも使われる。2026年7月の3.0では、新しいJavaの機能を扱えるよう中核を作り直した。GPLで公開され、Java 21以上の環境で動く。
主な機能
- 01JMLで書いた仕様に対するJavaのプログラムの証明
- 02実行の流れを図で示す記号実行デバッガー
- 03テストケースの生成
- 04授業向けの教材と演習
- 05証明を管理するCLIツール
機能の一覧
公式サイトで確認できた機能に印を付けています(印をクリックすると根拠のページを開きます)。「確認できず」は、公式サイトに記載が見つからなかったもので、機能が無いとは限りません。
共通
- 確認できず公開 API
- 確認できずシングルサインオン(SAML など)
- 確認できず2 段階認証
- 確認できずAI を使った機能
- 確認できずISMS(ISO/IEC 27001)の認証
- 確認できずデータを日本国内に保管(選べる場合を含む)
- 確認できず自社のサーバー・パソコンに設置できる
- 確認できずインターネットなしで使える
開発・インフラ
- 確認できずアプリ・サイトの公開(ホスティング)
- 確認できず自動テスト・自動デプロイ(CI/CD)
- 確認できずデータベース
- 確認できずソースコードの管理
- 確認できず監視
- 確認できず東京・大阪のリージョン
最新の動き
アップデート速報 →まだ新しい動きは見つかっていません。お知らせとプレスリリースを 30 分ごとに見ています。
出典
確認した日: 2026/10/29。内容は公式の情報をもとに編集部がまとめたものです。最新の内容は公式サイトでご確認ください。
Similar
似たサービス
