Hits:

Institution:Xidian University

Title of Paper:Integrating Separation Logic with PPTL

Teaching and Research Group:Institute of Computing Theory and Technology

Journal:The 3rd International Workshop on SOFL + MSVL (SOFL+MSVL 2013)

Project Source:NSFC Grant Nos. 61133001, 61272118, 61272117, 61202038, 91218301, 61322202, 61373043

Key Words:Temporal logic, Separation logic, Heap, Many-dimensional logic

All the Authors:TIANCONG,刘鸿瑾

First Author:Luxury

Correspondence Author:DUANZHENHUA

Document Code:1

Discipline:Engineering

First-Level Discipline:Computer Science and Technology

Document Type:C

Volume:LNCS 8332

Page Number:35-47

ISSN:03029743

Translation or Not:No

Date of Publication:2013-10-29

Included Journals:EI、EI

Date:2019-01-22