生成AI時代の形式手法
#Fleeting_Notes
生成AI時代の形式手法(Formal Methods in the Generative AI Era)
生成AIの台頭で、難しい形式手法コードの生成をアシスト、書いてくれるようになるはず
要件定義～テストまでのいろいろなところでパターンの漏れの検出ができるようになる
生成AI + 形式検証(formal verification)→
Genefication
TLA+
+
PlasCal
Aristotle
生成AI + 自動テスト
確認用
Q. 生成AI時代の形式手法
メモ
Genefication: Generative AI + Formal Verification
Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog
形式論証と自動テストの架橋 - Google ドキュメント
A tale of two paradigms: Formal methods and software testing | Springer Nature Link
調査用
Google.icon
生成AI時代の形式手法(日)
Google.icon
Formal methods in the generative ai era(英)