生成AI時代の形式手法
#Fleeting_Notes
生成AI時代の形式手法(Formal Methods in the Generative AI Era)
生成AIの台頭で、難しい形式手法コードの生成をアシスト、書いてくれるようになるはず
要件定義～テストまでのいろいろなところでパターンの漏れの検出ができるようになる
生成AI + 形式検証(formal verification)→Genefication
確認用
Q. 生成AI時代の形式手法
メモ
Genefication: Generative AI + Formal Verification
調査用
Google.icon 生成AI時代の形式手法(日)
Google.icon Formal methods in the generative ai era(英)