On the Relationship between Code Verifiability and Understandability

Kobi Feldman, Martin Kellogg, Oscar Chaparro

Proponents of software verification have argued that simpler code is easier to verify: that is, that verification tools issue fewer false positives and require less human intervent…