Scalable Multi-core LTL Model-Checking
| Authors | |
|---|---|
| Year of publication | 2007 |
| Type | Article in Proceedings |
| Conference | Model Checking Software |
| MU Faculty or unit | |
| 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: |