A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is
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