Nada Amin

DafnyBenchはソフトウェア検証ツールのベンチマークを行って、信頼できるプログラミングへの道を開いてるよ。

AIとDafnyを組み合わせてソフトウェアの検証プロセスを簡単にする。