I/O Efficient Accepting Cycle Detection-Reference-Cited by-同舟云学术

I/O Efficient Accepting Cycle Detection

Published: Issue: Volume: Page:281-293
ISSN:
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Barnat Jiri,Brim Lubos,Šimeček Pavel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73368-3_32.pdf

Reference34 articles.

1. Aggarwal, A., Vitter, J.S.: The Input/Output Complexity of Sorting and Related Problems. Communications of the ACM 31(9), 1116–1127 (1988)

2. Barnat, J.: Distributed Memory LTL Model Checking. PhD thesis, Faculty of Informatics, Masaryk University Brno (2004)

3. Barnat, J., Brim, L., Chaloupka, J.: Parallel Breadth-First Search LTL Model-Checking. In: ASE 2003. Automated Software Engineering, pp. 106–115. IEEE Computer Society Press, Los Alamitos (2003)

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

5. Barnat, J., Brim, L., Černá, I., Šimeček, P.: DiVinE – The Distributed Verification Environment. In: PDMC 2005, pp. 89–94 (2005)

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

1. The role of model checking in software engineering;Frontiers of Computer Science;2018-04-27

2. Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage;Automated Technology for Verification and Analysis;2015

3. Combining the Sweep-Line Method with the Use of an External-Memory Priority Queue;Model Checking Software;2012

4. Platform Dependent Verification: On Engineering Verification Tools for 21st Century;Electronic Proceedings in Theoretical Computer Science;2011-10-31

5. External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU;Model Checking and Artificial Intelligence;2011