Abstract. 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.
Work presented in REF investigates how to perform LTL model checking in a distributed environment.
Scalable Multi-core LTL Model-Checking
In Model Checking Software, volume 4595 of LNCS
Computer Science