57 citations · 61 across the 4 of their papers we have counts for
1 paper · 1 filter
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…