1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Nadeeshan De Silva, Martin Kellogg, Oscar Chaparro
Proponents of software verification suggest that code simplicity is linked to the effort to verify code, hypothesizing that formal verifiers produce fewer false positive warnings a…