Showing 2023Show all
2 papers · 1 filter
cs.SE2023
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…
cs.SE2023
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari +5
A resource leak occurs when a program fails to free some finite resource after it is no longer needed. Such leaks are a significant cause of real-world crashes and performance prob…