Distribution of Explicit-State LTL Model-Checking

Luboš Brim, Jiří Barnat
2003 Electronical Notes in Theoretical Computer Science  
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.
doi:10.1016/s1571-0661(04)80825-9 fatcat:nzawpinu7ffuxlcxbqhgexyfxu