「形式仕様」の記事一覧

• TLA+と生成AIの融合に挑むチャレンジが始動

  2025-05-06 17:54

  科学・技術

  TLA+財団とNVIDIAが主催する「GenAI-accelerated TLA+ challenge」は、形式仕様記述言語TLA+と生成AIの融合を探る公開コンテストです。LLMを活用したツールやワークフローの開発が求められ、受賞者にはNVIDIAのGPUやGitHub Copilotのサブスクリプションが贈られます。仕様の可視化や自動補完、教育向けのツール開発など、多岐にわたる応用が想定されており、AI技術を形式検証に統合する先進的な取り組みです。