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