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

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

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...

Full description

Saved in:
Bibliographic Details
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
Software Engineering
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

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

Similar Items