DiVinE Multi-Core – A Parallel LTL Model-Checker-Reference-Cited by-同舟云学术

DiVinE Multi-Core – A Parallel LTL Model-Checker

Published:2008 Issue: Volume: Page:234-239
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Barnat Jiri,Brim Lubos,Ročkai Petr

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-88387-6_20

Reference9 articles.

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

2. Lecture Notes in Computer Science;J. Barnat,2006

3. Barnat, J., Ročkai, P.: Shared Hash Tables in Parallel Model Checking. In: Participant proceedings of the Sixth International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2007), pp. 81–95. CTIT, University of Twente (2007)

4. Lecture Notes in Computer Science;L. Brim,2004

5. Lecture Notes in Computer Science;I. Černá,2003

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

1. Modelling and Verifying Dynamic Access Control Policies in Workflow-Based Healthcare Systems;Jurnal Kejuruteraan;2020-02-28

2. Parallel reachability analysis of hybrid systems in XSpeed;International Journal on Software Tools for Technology Transfer;2018-02-19

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

4. Partial-Order Reduction for GPU Model Checking;Automated Technology for Verification and Analysis;2016

5. An Overview of the mCRL2 Toolset and Its Recent Advances;Tools and Algorithms for the Construction and Analysis of Systems;2013