Certified Reasoning for Automated Verification

Ph.D

Saved in:
Bibliographic Details
Main Author: ASANKHAYA SHARMA
Other Authors: COMPUTER SCIENCE
Format: Theses and Dissertations
Language:English
Published: 2015
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/119821
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-119821
record_format dspace
spelling sg-nus-scholar.10635-1198212023-07-14T10:04:49Z Certified Reasoning for Automated Verification ASANKHAYA SHARMA COMPUTER SCIENCE CHIN WEI NGAN specification, verification, certified reasoning, certified decision procedure, automated reasoning, separation logic Ph.D DOCTOR OF PHILOSOPHY 2015-05-31T18:01:23Z 2015-05-31T18:01:23Z 2015-01-06 Thesis ASANKHAYA SHARMA (2015-01-06). Certified Reasoning for Automated Verification. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/119821 NOT_IN_WOS en
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
language English
topic specification, verification, certified reasoning, certified decision procedure, automated reasoning, separation logic
spellingShingle specification, verification, certified reasoning, certified decision procedure, automated reasoning, separation logic
ASANKHAYA SHARMA
Certified Reasoning for Automated Verification
description Ph.D
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
ASANKHAYA SHARMA
format Theses and Dissertations
author ASANKHAYA SHARMA
author_sort ASANKHAYA SHARMA
title Certified Reasoning for Automated Verification
title_short Certified Reasoning for Automated Verification
title_full Certified Reasoning for Automated Verification
title_fullStr Certified Reasoning for Automated Verification
title_full_unstemmed Certified Reasoning for Automated Verification
title_sort certified reasoning for automated verification
publishDate 2015
url http://scholarbank.nus.edu.sg/handle/10635/119821
_version_ 1772823133723557888