83 citations · 175 across the 14 of their papers we have counts for
1 paper · 2 filters
Steven Holtzen, Todd Millstein, Guy Van den Broeck
Abstraction is a fundamental tool for reasoning about complex systems. Program abstraction has been utilized to great effect for analyzing deterministic programs. At the heart of p…