25 citations · 27 across the 3 of their papers we have counts for
1 paper · 1 filter
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.…