これらは、現在活発に調査中の将来のアプリケーションドメインであり、実証済みの商用展開ではありません。この手法は本質的にドメインに依存しません。各アプリケーションには独自の検証基盤が必要です。
これまでこの方法論が最も広範に研究されてきたドメイン。
ランタイムおよび機械検証による評価は、プラットフォームの設計と自然に連携します。
構造化された発見、抽象化の再利用、およびプロフェッサーは、知識グラフのワークフローにマッピングされます。
再現可能な検証可能なプログラムによる仮説生成。
組み合わせ問題および数値問題に対するプリミティブ演算子による検証済みの構成的探索。
制御された生成および検証ループの下でのカーネル合成とパフォーマンス検証済み変換。