Distribution of Explicit-State LTL Model-Checking

Abstract

We give a brief summary of recent achievements in the Parallel and Distributed Systems Laboratory at the Faculty of Informatics in Brno that are related to the distribution of explicit-state LTL model-checking. Distribution and parallelization of verification algorithms is one of the current key research themes in the laboratory. Model-checking of complex… (More)
DOI: 10.1016/S1571-0661(04)80825-9

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics