Hits:

Affiliation of Author(s):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

Funded by: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:,

Document Code:5

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Document Type:J

ISSN No.:03043975

Translation or Not:no

Date of Publication:2018-04-02

Included Journals:SCI、EI、SCI、EI