A Design of GPU-Based Quantitative Model Checking-Reference-Cited by-同舟云学术

A Design of GPU-Based Quantitative Model Checking

Published:2021 Issue: Volume: Page:441-463
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Kwon YoungMin,Kim Eunhee

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-67067-2_20

Reference34 articles.

1. LTLC-GPU. http://www3.cs.stonybrook.edu/~youngkwon/sw/LTLCCuda.v0.8.190224.zip

2. Ahamed, A.K.C., Magoulès, F.: Parallel sub-structuring methods for solving sparse linear systems on a cluster of GPUs. In: 2014 IEEE International Conference on High Performance Computing and Communications, 2014 IEEE 6th International Symposium on Cyberspace Safety and Security, 2014 IEEE 11th International Conference on Embedded Software and System (HPCC, CSS, ICESS), pp. 121–128. IEEE (2014)

3. Ahamed, A.K.C., Magoulès, F.: GPU accelerated substructuring methods for sparse linear systems. In: 2016 IEEE International Conference on Computational Science and Engineering (CSE) and IEEE International Conference on Embedded and Ubiquitous Computing (EUC) and 15th International Symposium on Distributed Computing and Applications for Business Engineering (DCABES), pp. 614–625. IEEE (2016)

4. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)

5. Lecture Notes in Computer Science;F Banterle,2007

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

1. Implementing a CTL Model Checker with $$\mu \mathcal {G}$$, a Language for Programming Graph Neural Networks;Formal Techniques for Distributed Objects, Components, and Systems;2023

2. A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems;Quantitative Evaluation of Systems;2023

3. A Fully Parallel Approach of Model Checking Via Probe Machine;International Journal of Software Engineering and Knowledge Engineering;2021-12