1 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Tengjie Lin, Zhongyi Wang, Haokun Li +2
Deductive verification scales to large software systems through modular reasoning, where formal contracts summarize the behavior of individual functions and enable their independen…