Skip to main content
Conference ProceedingsOPEN ACCESS

DIVINE - A tool for distributed verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2006) 4144 LNCS 278-281
DOI: 10.1007/11817963_26
76Citations
Citations of this article
13Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

We present a tool for cluster-based LTL model-checking and reachability analysis. The tool incorporates several novel distributed-memory algorithms and provides a unique interface to use them. We describe the basic structure of the tool, discuss the main architecture decisions made, and briefly explain how the tool can be used. © Springer-Verlag Berlin Heidelberg 2006.

Cite

CITATION STYLE

APA

Barnat, J., Brim, L., Černá, I., Moravec, P., Ročkai, P., & Šimeček, P. (2006). DIVINE - A tool for distributed verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4144 LNCS, pp. 278–281). Springer Verlag. https://doi.org/10.1007/11817963_26

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free