Time-Efficient Model Checking with Magnetic Disk-Reference-Cited by-同舟云学术

Time-Efficient Model Checking with Magnetic Disk

Published:2005 Issue: Volume: Page:526-540
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Bao Tonglaga,Jones Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_34.pdf

Reference13 articles.

1. Bao, T.: Emperical comparison of algorithms for model checking with magnetic disk. Technical Report VV-0402, Dept. of Computer Science, Brigham Young U. (2004)

2. Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms, ch. 11. McGraw-Hill, New York (1999)

3. Explicit model checking benchmarks (2004), Available at http://vv.cs.byu.edu/emc

4. Lecture Notes in Computer Science;M.D. Jones,2004

5. Korf, R.E.: Delayed duplicate detection: Extended abstract. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003). Morgan Kaufmann, San Francisco (2003)

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

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

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

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

4. Solving the ignoring problem for partial order reduction;International Journal on Software Tools for Technology Transfer;2010-02-03

5. Search-Order Independent State Caching;Transactions on Petri Nets and Other Models of Concurrency IV;2010