@inproceedings{00df1a18baa5423ab7294ffe5be0dc26,
title = "A new parallel approach for reachability analysis of pushdown models",
abstract = "Nowadays, Pushdown System is widely used in program verification including malware detection. We model the software systems into pushdown systems and use model-checking to verify them. The reachability analysis is the base of model-checking problems. It is an iterative work on transitions and configuration rules. However, with the rise of the complexity and scalability of those software systems, the size of transitions and configurations rules rises as well. This means the traditional methods are not suitable for such work. Therefore, we propose a new parallel reachability analysis method for such scene. Our methods can handle massive data sets and return the result in acceptable time.",
keywords = "Model checking, Parallel, Reachability, System",
author = "Lingjie Shu and Jianqi Shi and Xin Ye and Ningkang Jiang and Yichun Li",
note = "Publisher Copyright: {\textcopyright} 2017 ACM.; 2017 International Conference on Management Engineering, Software Engineering and Service Sciences, ICMSS 2017 ; Conference date: 14-01-2017 Through 16-01-2017",
year = "2017",
month = jan,
day = "14",
doi = "10.1145/3034950.3034984",
language = "英语",
series = "ACM International Conference Proceeding Series",
publisher = "Association for Computing Machinery",
pages = "113--118",
editor = "Yulin Wang",
booktitle = "Proceedings of 2017 International Conference on Management Engineering, Software Engineering and Service Sciences, ICMSS 2017",
address = "美国",
}