Automated Verification of Complete Specification with Shape Inference

Automated Verification of Complete Specification with Shape Inference

Ph.D

Saved in:
Bibliographic Details
Main Author: LE QUANG LOC
Other Authors: COMPUTER SCIENCE
Format: Theses and Dissertations
Language:English
Published: 2014
Subjects:
Second-Order Bi-Abduction, Specification Inference, Complete Specification, Shape Analysis, Shape Synthesis, Separation Logic
Online Access:http://scholarbank.nus.edu.sg/handle/10635/118282
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-118282
record_format dspace
spelling sg-nus-scholar.10635-1182822015-01-06T03:22:54Z Automated Verification of Complete Specification with Shape Inference LE QUANG LOC COMPUTER SCIENCE CHIN WEI NGAN Second-Order Bi-Abduction, Specification Inference, Complete Specification, Shape Analysis, Shape Synthesis, Separation Logic Ph.D DOCTOR OF PHILOSOPHY 2014-12-31T18:02:13Z 2014-12-31T18:02:13Z 2014-08-20 Thesis LE QUANG LOC (2014-08-20). Automated Verification of Complete Specification with Shape Inference. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/118282 NOT_IN_WOS en
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
language English
topic Second-Order Bi-Abduction, Specification Inference, Complete Specification, Shape Analysis, Shape Synthesis, Separation Logic
spellingShingle Second-Order Bi-Abduction, Specification Inference, Complete Specification, Shape Analysis, Shape Synthesis, Separation Logic
LE QUANG LOC
Automated Verification of Complete Specification with Shape Inference
description Ph.D
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
LE QUANG LOC
format Theses and Dissertations
author LE QUANG LOC
author_sort LE QUANG LOC
title Automated Verification of Complete Specification with Shape Inference
title_short Automated Verification of Complete Specification with Shape Inference
title_full Automated Verification of Complete Specification with Shape Inference
title_fullStr Automated Verification of Complete Specification with Shape Inference
title_full_unstemmed Automated Verification of Complete Specification with Shape Inference
title_sort automated verification of complete specification with shape inference
publishDate 2014
url http://scholarbank.nus.edu.sg/handle/10635/118282
_version_ 1681095471773253632

Similar Items