From Distributed Memory Cycle Detection to Parallel LTL Model Checking-Reference-Cited by-同舟云学术

From Distributed Memory Cycle Detection to Parallel LTL Model Checking

Published:2005-05 Issue: Volume:133 Page:21-39
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Barnat J.,Brim L.,Chaloupka J.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference19 articles.

1. J. Barnat, L. Brim, I. Černá, Property Driven Distribution of Nested DFS. In M. Leuschel, U. Ultes-Nitsche, editors, Proceeding of the 3rd International Workshop on Verification and Computational Logic (VCL'2002) pages 1–10, October 2002

2. Parallel Breadth-First Search LTL Model-Checking;Barnat,2003

3. J. Barnat, L. Brim, and J. Chaloupka. Distributed Memory LTL Model-Checking Based on Breadth First Search. Technical Report FIMU-RS-2004-07, Faculty of Informatics, Masaryk University Brno, 2004

4. Distributed LTL Model-Checking in SPIN;Barnat,2001

5. A performance study of distributed timed automata reachability analysis;Behrmann;Electronic Notes in Theoretical Computer Science,2002

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

1. Variations on parallel explicit emptiness checks for generalized Büchi automata;International Journal on Software Tools for Technology Transfer;2016-04-26

2. Parallel Explicit Model Checking for Generalized Büchi Automata;Tools and Algorithms for the Construction and Analysis of Systems;2015

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

4. Parallel symbolic state-space exploration is difficult, but what is the alternative?;Electronic Proceedings in Theoretical Computer Science;2009-12-15

5. BioDiVinE: A Framework for Parallel Analysis of Biological Models;Electronic Proceedings in Theoretical Computer Science;2009-10-08