GPU Accelerated Counterexample Generation in LTL Model Checking.
https://doi.org/10.1007/978-3-319-11737-9_27
@inproceedings{DBLP:conf/icfem/WuLL014,
author = {Zhimin Wu and
Yang Liu and
Yun Liang and
Jun Sun},
editor = {Stephan Merz and
Jun Pang},
title = {{GPU} Accelerated Counterexample Generation in {LTL} Model Checking},
booktitle = {Formal Methods and Software Engineering - 16th International Conference
on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
November 3-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8829},
pages = {413--429},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11737-9\_27},
doi = {10.1007/978-3-319-11737-9\_27},
timestamp = {Sat, 31 Aug 2019 23:49:22 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WuLL014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签