Sciweavers

Share
SPIN
2007
Springer

Scalable Multi-core LTL Model-Checking

10 years 9 months ago
Scalable Multi-core LTL Model-Checking
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 sharedmemory 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.
Jiri Barnat, Lubos Brim, Petr Rockai
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where SPIN
Authors Jiri Barnat, Lubos Brim, Petr Rockai
Comments (0)
books