Hits:

Institution:Xidian University

Title of Paper:Using Unified Model Checking to Verify Heaps

Teaching and Research Group:Institute of Computing Theory and Technology

Journal:The 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2016，CCF C类、理论计算机科学高水平会议)

Project Source:NSFC Grant Nos. 61133001, 61322202, 61420106004, and 91418201

Key Words:Heap verification, Model checking, MSVL, PPTL, Separation logic

First Author:Luxury

Correspondence Author:DUANZHENHUA,TIANCONG

Document Code:3

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Document Type:C

Volume:LNCS 10043

Page Number:735-743

ISSN:03029743

Translation or Not:No

Date of Publication:2016-12-16

Included Journals:EI、EI

Date:2019-01-22