Cluster-Based LTL Model Checking of Large Systems-Reference-Cited by-同舟云学术

Cluster-Based LTL Model Checking of Large Systems

Published:2006 Issue: Volume: Page:259-279
ISSN:0302-9743
Container-title:Formal Methods for Components and Objects
language:
Short-container-title:

Author:

Barnat Jiří,Brim Luboš,Černá Ivana

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11804192_13

Reference43 articles.

1. Lecture Notes in Computer Science;T. Bao,2005

2. 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)

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

4. Barnat, J., Brim, L., Černá, I., Šimeček, P.: DiVinE – The Distributed Verification Environment. In: Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation, pp. 89–94 (2005)

5. Barnat, J., Černá, I.: Distributed Breadth-First Search LTL Model Checking. Formal Methods in System Design (to appear, 2006)

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

1. Quo Vadis Explicit-State Model Checking;Lecture Notes in Computer Science;2015

2. A vertex centric parallel algorithm for linear temporal logic model checking in Pregel;Journal of Parallel and Distributed Computing;2014-11

3. DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C & C++ Programs;Computer Aided Verification;2013

4. Distributed MAP in the SpinJa Model Checker;Electronic Proceedings in Theoretical Computer Science;2011-10-31

5. Speedup of OWCTY Model Checking Algorithm Using Strongly Connected Components;Transactions of the Japanese Society for Artificial Intelligence;2011