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