On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties-Reference-Cited by-同舟云学术

On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties

Author:

Barnat Jiří,Brim Luboš,Ročkai Petr

Publisher

Elsevier BV

Subject

Software

Reference33 articles.

1. A time-optimal on-the-fly parallel algorithm for model checking of weak LTL properties;Barnat,2009

2. Replacing testing with formal verification in intel core i7 processor execution engine validation;Kaivola,2009

3. Property specification patterns for finite-state verification;Dwyer,1998

4. Distributed explicit fair cycle detection;Černá,2003

5. Relating hierarchy of temporal properties to model checking;Černá,2003

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

1. Concurrent Bug Finding Based on Bounded Model Checking;International Journal of Software Engineering and Knowledge Engineering;2020-05

4. Context-Switch-Directed Verification in DIVINE;Mathematical and Engineering Methods in Computer Science;2014

5. Distributed LTL Model Checking with Hash Compaction;Electronic Notes in Theoretical Computer Science;2013-08