2 citations · 3 across the 6 of their papers we have counts for
1 paper · 1 filter
Huan Zhao, Haoxin Tu, Zhengyao Liu +2
Deductive verification provides strong correctness guarantees for code by extracting verification conditions (VCs) and writing formal proofs for them. The expertise-intensive task…