18 citations · 18 across the 5 of their papers we have counts for
1 paper · 1 filter
Jian Fang, Yican Sun, Yingfei Xiong
One important approach to software verification is interactive theorem proving. However, writing formal proofs often requires substantial human effort, making proof automation high…