Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking-Reference-Cited by-同舟云学术

Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking

Published: Issue: Volume: Page:48-62
ISSN:
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Barnat J.,Brim L.,Šimeček P.,Weber M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-78800-3_5.pdf

Reference22 articles.

1. Aggarwal, A., Vitter, J.S.: The input/output complexity of sorting and related problems. Commun. ACM 31(9), 1116–1127 (1988)

2. Vardi, M.Y., Wolper, P.: An Automata-Theoretic Approach to Automatic Program Verification. In: Proc. of LICS 1986, pp. 332–344. Computer Society Press (1986)

3. Lecture Notes in Computer Science;S. Edelkamp,2006

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

5. Korf, R.E., Schultze, P.: Large-Scale Parallel Breadth-First Search. In: Proc. of AAAI, pp. 1380–1385. AAAI Press / The MIT Press (2005)

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

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

2. Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis;Software Testing, Verification and Reliability;2016-08-31

3. An I/O Efficient Approach for Detecting All Accepting Cycles;IEEE Transactions on Software Engineering;2015-08-01

4. An I/O Efficient Model Checking Algorithm for Large-Scale Systems;IEEE Transactions on Very Large Scale Integration (VLSI) Systems;2015-05

5. A Sweep-Line Method for Büchi Automata-based Model Checking;Fundamenta Informaticae;2014