GPU Accelerated Counterexample Generation in LTL Model Checking-Reference-Cited by-同舟云学术

GPU Accelerated Counterexample Generation in LTL Model Checking

Published:2014 Issue: Volume: Page:413-429
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Wu Zhimin,Liu Yang,Liang Yun,Sun Jun

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-11737-9_27

Reference14 articles.

1. Barnat, J., Brim, L., Ceska, M., Lamr, T.: CUDA Accelerated LTL Model Checking. In: ICPADS, pp. 34–41. IEEE (2009)

2. Barnat, J., Bauch, P., Brim, L., Češka, M.: Designing Fast LTL Model Checking Algorithms for Many-core GPUs. In: JPDC, pp. 1083–1097 (2012)

3. Edelkamp, S., Sulewski, D. Model Checking via Delayed Duplicatedetection on The GPU. In Technical Report 821. Dekanat Informatik, Univ. (2008)

4. Lecture Notes in Computer Science;S. Edelkamp,2010

5. Lecture Notes in Computer Science;P. Gastin,2007

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking;Lecture Notes in Computer Science;2024

2. A GPU Tree Database for Many-Core Explicit State Space Exploration;Tools and Algorithms for the Construction and Analysis of Systems;2023

3. GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data;Model Checking Software;2023

4. Parallel computational tree logic model‐checking on pushdown systems;Concurrency and Computation: Practice and Experience;2022-07-13

5. Efficient Parallel CTL Model-Checking for Pushdown Systems;2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom);2018-12