Distributed Partial Order Reduction of State Spaces-Reference-Cited by-同舟云学术

Distributed Partial Order Reduction of State Spaces

Author:

Brim L.,Černá I.,Moravec P.,Šimša J.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference22 articles.

1. Parallel breadth-first search LTL model-checking;Barnat,2003

2. Distributed timed model checking — how the search order matters;Behrmann,2000

4. Scalable distributed on-the-fly symbolic model checking;Ben-David,2000

5. A distributed algorithm for strong bisimulation reduction of state spaces;Blom;Int J Softw Tools Technol Transfer,2004

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

1. Model checking: recent improvements and applications;International Journal on Software Tools for Technology Transfer;2018-07-24

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

4. Distributed Partial Order Reduction for Security Protocols;Electronic Notes in Theoretical Computer Science;2008-02

5. Shared Hash Tables in Parallel Model Checking;Electronic Notes in Theoretical Computer Science;2008-02