AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC

Ph.D

Saved in:

Bibliographic Details
Main Author:	TA QUANG TRUNG
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2018
Subjects:	Software Verification, Separation Logic, Entailment Proving, Mutual Induction, Lemma Synthesis, Learning from Failure
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/142982
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-142982
record_format	dspace
spelling	sg-nus-scholar.10635-1429822021-02-19T09:10:52Z AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC TA QUANG TRUNG COMPUTER SCIENCE Khoo Siau Cheng Chin Wei Ngan Software Verification, Separation Logic, Entailment Proving, Mutual Induction, Lemma Synthesis, Learning from Failure Ph.D DOCTOR OF PHILOSOPHY (SOC) 2018-06-07T18:00:32Z 2018-06-07T18:00:32Z 2018-01-23 Thesis TA QUANG TRUNG (2018-01-23). AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/142982 en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	Software Verification, Separation Logic, Entailment Proving, Mutual Induction, Lemma Synthesis, Learning from Failure
spellingShingle	Software Verification, Separation Logic, Entailment Proving, Mutual Induction, Lemma Synthesis, Learning from Failure TA QUANG TRUNG AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE TA QUANG TRUNG
format	Theses and Dissertations
author	TA QUANG TRUNG
author_sort	TA QUANG TRUNG
title	AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC
title_short	AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC
title_full	AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC
title_fullStr	AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC
title_full_unstemmed	AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC
title_sort	automated entailment proving in separation logic
publishDate	2018
url	http://scholarbank.nus.edu.sg/handle/10635/142982
_version_	1693115797039218688

AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC

Similar Items