Scalable Multi-core LTL Model-Checking-Reference-Cited by-同舟云学术

Scalable Multi-core LTL Model-Checking

Published: Issue: Volume: Page:187-203
ISSN:
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Barnat Jiří,Brim Luboš,Ročkai Petr

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73370-6_13.pdf

Reference22 articles.

1. Barnat, J., Brim, L., Chaloupka, J.: Parallel Breadth-First Search LTL Model-Checking. In: Proc. 18th IEEE International Conference on Automated Software Engineering, pp. 106–115. IEEE Computer Society, Los Alamitos (2003)

2. Barnat, J., Brim, L., Černá, I.: Property Driven Distribution of Nested DFS. In: Proceedinfs of the 3rd International Workshop on Verification and Computational Logic (VCL 2002 – held at the PLI 2002 Symposium), University of Southampton, UK, Technical Report DSSE-TR-2002-5 in DSSE, pp. 1–10 (2002)

3. Lecture Notes in Computer Science;J. Barnat,2006

4. Lecture Notes in Computer Science;L. Brim,2004

5. Lecture Notes in Computer Science;L. Brim,2001

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

1. Swarm Model Checking on the GPU;Model Checking Software;2019

2. Parameter estimation of qualitative biological regulatory networks on high performance computing hardware;BMC Systems Biology;2018-12

3. Static Analysis Using the Cloud;Electronic Proceedings in Theoretical Computer Science;2016-10-25

4. CloudSDV Enabling Static Driver Verifier Using Microsoft Azure;Lecture Notes in Computer Science;2016

5. Model Checking of Biological Systems;Lecture Notes in Computer Science;2013