6 citations · 17 across the 16 of their papers we have counts for
1 paper · 1 filter
Yong Li, Andrea Turrini, Xuechao Sun +1
The search for a proof of correctness and the search for counterexamples (bugs) are complementary aspects of verification. In order to maximize the practical use of verification to…