Hits:

Institution:Xidian University

Title of Paper:Verify heaps via unified model checking

Teaching and Research Group:Institute of Computing Theory and Technology

Journal:Theoretical Computer Science (TCS，CCF B类、理论计算机科学著名国际期刊)

Place of Publication:Elsevier

Project Source:NSFC Grant Nos. 61732013 and 61420106004

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

All the Authors:堵宏伟

First Author:Luxury

Indexed by:Journal paper

Correspondence Author:DUANZHENHUA,TIANCONG

Document Code:5

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Document Type:J

ISSN:03043975

Translation or Not:No

Date of Publication:2018-04-02

Included Journals:EI、SCI、EI、SCI

Date:2019-01-22