25 citations · 37 across the 4 of their papers we have counts for
1 paper · 2 filters
Alex Sanchez-Stern, Emily First, Timothy Zhou +3
Formally verifying system properties is one of the most effective ways of improving system quality, but its high manual effort requirements often render it prohibitively expensive.…