Full metadata record
DC Field | Value | Language |
dc.contributor.author | Dinh, Hoang Mai | - |
dc.date.accessioned | 2018-10-17T05:44:02Z | - |
dc.date.available | 2018-10-17T05:44:02Z | - |
dc.date.issued | 2016 | - |
dc.identifier.other | OAK-2015-07276 | - |
dc.identifier.uri | http://postech.dcollection.net/jsp/common/DcLoOrgPer.jsp?sItemId=000002222887 | ko_KR |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/93512 | - |
dc.description | Master | - |
dc.description.abstract | This report presents a theorem prover for automated verification of program specifications written
in separation logic. Our prover supports all new connectives in separation logic including
separating conjunction and separating implication. To assist the prover, we integrate a high efficient
SMT solver to process arithmetic expression relations, and also present a method to apply
inference rules with associativity property. | - |
dc.language | eng | - |
dc.publisher | 포항공과대학교 | - |
dc.title | ProverPSL: A Theorem Prover for Full Separation Logic | - |
dc.title.alternative | ProverPSL: 분리 논리 정리 증명기 | - |
dc.type | Thesis | - |
dc.contributor.college | 일반대학원 컴퓨터공학과 | - |
dc.date.degree | 2016- 2 | - |
dc.type.docType | Thesis | - |
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.