Compositional verification of heap-manipulating programs through property-guided learning

• Main Authors: PHAM, Long H., SUN, Jun, LOC LE, Quang
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2019
• Subjects: Information Security
• Online Access: https://ink.library.smu.edu.sg/sis_research/4639; https://ink.library.smu.edu.sg/context/sis_research/article/5642/viewcontent/Pham2019_Chapter_CompositionalVerificationOfHea.pdf
• Institution: Singapore Management University

Analyzing and verifying heap-manipulating programs automatically is challenging. A key for fighting the complexity is to develop compositional methods. For instance, many existing verifiers for heap-manipulating programs require user-provided specification for each function in the program in order t...