Author:
Xie Miao,Yang Qiusong,Zhai Jian,Wang Qing
Funder
National Natural Science Foundation of China
National Science and Technology Major Project
Knowledge Innovation Program of the Chinese Academy of Sciences
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference33 articles.
1. Distributed reachability analysis for protocol verification environments;Aggarwal,1987
2. Distributed Model Checking Using Hadoop, Technical Report, Department of Computer Science, Aalto University, Finland;Aziz,2010
3. Employing multiple CUDA devices to accelerate LTL model checking;Barnat,2010
4. Designing fast LTL model checking algorithms for many-core GPUs;Barnat;J. Parallel Distrib. Comput.,2012
5. J. Barnat, L. Brim, I. Černá, Cluster-based LTL model checking of large systems, in: Formal Methods for Components and Objects, LNCS, vol. 4111, pp. 259–279.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way;ACM Transactions on Software Engineering and Methodology;2023-09-30
2. Model Checking as a Service using Dynamic Resource Scaling;2020 IEEE 27th International Conference on High Performance Computing, Data, and Analytics (HiPC);2020-12
3. Scalable and optimal planning based on Pregel;Concurrency and Computation: Practice and Experience;2018-10-15
4. Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access;Programming Languages and Systems;2017
5. Distributed Safety Verification Using Vertex Centric Programming Model;2016 15th International Symposium on Parallel and Distributed Computing (ISPDC);2016