118 citations · 344 across the 22 of their papers we have counts for
1 paper · 1 filter
Emily First, Markus N. Rabe, Talia Ringer +1
Formally verifying software properties is a highly desirable but labor-intensive task. Recent work has developed methods to automate formal verification using proof assistants, suc…