Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/142982
Title: AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC
Authors: TA QUANG TRUNG
Keywords: Software Verification, Separation Logic, Entailment Proving, Mutual Induction, Lemma Synthesis, Learning from Failure
Issue Date: 23-Jan-2018
Citation: TA QUANG TRUNG (2018-01-23). AUTOMATED ENTAILMENT PROVING IN SEPARATION LOGIC. ScholarBank@NUS Repository.
URI: http://scholarbank.nus.edu.sg/handle/10635/142982
Appears in Collections:Ph.D Theses (Closed)

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

39
checked on Aug 16, 2018

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.