Publication details
Scalable Multi
-core LTL Model-Checking
| Basic information | |
|---|---|
| Original title: | Scalable Multi-core LTL Model-Checking |
| Authors: | Jiří Barnat, Luboš Brim, Petr Ročkai |
| Further information | |
|---|---|
| Citation: | BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr. Scalable Multi-core LTL Model-Checking. In Model Checking Software. Vyd. 1. Berlin, Heidelberg : Springer-Verlag, 2007. ISBN 978-3-540-73369-0, pp. 187-203. 2007, Berlin, Germany. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Proceedings |
| Keywords: | Parallel LTL Model Checking; multi-core |
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:
- Techniques for automatic verification and validation of software nad hardware systems
- Institute for Theoretical Computer Science
- Highly Parallel and Distributed Computing Systems
- Automated software verification
