DiVinE – A Tool for Distributed Verification-Reference-Cited by-同舟云学术

DiVinE – A Tool for Distributed Verification

Published:2006 Issue: Volume: Page:278-281
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Barnat Jiří,Brim Luboš,Černá Ivana,Moravec Pavel,Ročkai Petr,Šimeček Pavel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11817963_26.pdf

Reference8 articles.

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

2. Barnat, J., Forejt, V., Leucker, M., Weber, M.: DivSPIN – A SPIN compatible distributed model checker. In: Proc. 4th International Workshop on Parallel and Distributed Methods in verification, pp. 95–100 (2005)

3. Lecture Notes in Computer Science;G. Behrmann,2000

4. Lecture Notes in Computer Science;B. Bollig,2001

5. DiVinE project web page: http://anna.fi.muni.cz/divine/

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

1. Unite: an adapter for transforming analysis tools to web services via OSLC;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

2. Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020;Journal of Sensor and Actuator Networks;2021-05-14

3. Model Checking as a Service using Dynamic Resource Scaling;2020 IEEE 27th International Conference on High Performance Computing, Data, and Analytics (HiPC);2020-12

4. Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior;IEEE Transactions on Software Engineering;2019-09-01

5. Parallel Model Checking on Pushdown Systems;2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom);2018-12