24 citations · 63 across the 13 of their papers we have counts for
1 paper · 1 filter
Yi-Fan Tsai, Devin Coughlin, Bor-Yuh Evan Chang +1
This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verifica…