20 citations · 34 across the 10 of their papers we have counts for
1 paper · 2 filters
Scott Wesley, Maria Christakis, Jorge A. Navas +3
A growing trend in program analysis is to encode verification conditions within the language of the input program. This simplifies the design of analysis tools by utilizing off-the…