Automatically refining partial specifications for heap-manipulating programs

Automatically refining partial specifications for heap-manipulating programs

10.1016/j.scico.2013.03.004

Saved in:
Bibliographic Details
Main Authors: Qin, S., He, G., Luo, C., Chin, W.-N., Yang, H.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2014
Subjects:
Constraint abstraction
Numerical analysis
Partial specification refinement
Semi-automatic software verification
Separation logic
Static program analysis
Online Access:http://scholarbank.nus.edu.sg/handle/10635/78037
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore

Internet

http://scholarbank.nus.edu.sg/handle/10635/78037

Similar Items