Distribution of Explicit-State LTL Model-Checking
Luboš Brim, Jǐŕı Barnat · Electronic Notes in Theoretical Computer Science · 2003
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.