3 citations · 7 across the 12 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 1 cited
Extending PPTL for Verifying Heap Evolution Properties
Xu Lu, Zhenhua Duan, Cong Tian
In this paper, we integrate separation logic with Propositional Projection Temporal Logic (PPTL) to obtain a two-dimensional logic, namely PPTL$^{\tiny\mbox{SL}}$. The spatial dime…
cs.LO2015
An Improved Decision Procedure for Linear Time Mu-Calculus
Yao Liu, Zhenhua Duan, Cong Tian
An improved Present Future form (PF form) for linear time -calculus (TL) is presented in this paper. In particular, the future part of the new version turns into the conjunct…