Scalable Multi-core LTL Model-Checking

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BARNAT Jiří BRIM Luboš ROČKAI Petr

Year of publication 2007
Type Article in Proceedings
Conference Model Checking Software
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords Parallel LTL Model Checking; multi-core
Description Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various tasks; among others LTL model checking. In the paper we show a design for a parallel shared memory LTL model checker, that is based on a distributed memory algorithm. To achieve good scalability, we have devised and experimentally evaluated several implementation techniques, which we present in the paper.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.