26 citations · 70 across the 17 of their papers we have counts for
1 paper · 2 filters
Jason Gross, Andres Erbsen, Jade Philipoom +2
We address the challenges of scaling verification efforts to match the increasing complexity and size of systems. We propose a research agenda aimed at building a performant proof…