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