Microsoft Research、形式検証ツール「PDD Kit」を公開
まずはこの出来事を
AI によるまとめ
2026年11月6日、Microsoft ResearchはGitHub NextおよびRiSEグループと共同で、エージェントが作成したフルスタックWebアプリケーションを形式検証する研究プロトタイプ「PDD Kit」を公開した。このツールは開発者の自然言語による意図をVerusの形式仕様に変換し、それに基づいてエージェント生成コードがすべての入力に対して仕様を満たすことを証明する。証明が及ばない部分についてはテスト手段にフォールバックする。現時点では研究プロトタイプ段階であり、報道ではこれ以上の進展は明らかにされていない。
報道をもとに AI が作成 · 3 時間前に更新
報道の時系列
報道をたどり、出来事のさまざまな面を知る。
11月6日
- Microsoft ResearchMicrosoft Research、PDD Kitでエージェントが書いたフルスタックWebアプリを形式検証
Microsoft ResearchはGitHub NextおよびRiSEグループと共同で研究プロトタイプ「PDD Kit」を公開した。開発者の自然言語による意図をVerusの形式仕様に変換し、エージェントが生成したコードがすべての入力に対して仕様を満たすことを証明する。証明が届かない部分はテストにフォールバックする。
この出来事の注目度の推移
現在の注目度 8·比較範囲のピーク 9（11月6日 04:00）·過去 24 時間の比較範囲での変化 –
推移は、途切れずに観測できた同じ主体どうしだけで比べるため、現在の注目度の集計より範囲が狭いことがあります。ポインタを動かすかグラフをクリックすると 1 時間ごとの注目度が見られます。キーボードでは左右の矢印キーで切り替えられます。