Efficient Parallel CTL Model-Checking for Pushdown Systems.
Xinyu Chen, Hansheng Wei, Xin Ye, Li Hao, Yanhong Huang, Jianqi Shi
VenueCISPA
Year2018
ProceedingsISPA/IUCC/BDCloud/SocialCom/SustainCom
DBLP recordconf/ispa/ChenWYHHS18 ↗
Browse the full ISPA paper archive.