Sciweavers

Share
ATVA
2011
Springer

Parallel Nested Depth-First Searches for LTL Model Checking

8 years 10 months ago
Parallel Nested Depth-First Searches for LTL Model Checking
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers. This paper proposes a new version of this algorithm, adapted to multi-core architectures with a shared memory. It can exhibit good speed-ups as supported by a series of experiments.
Sami Evangelista, Laure Petrucci, Samir Youcef
Added 12 Dec 2011
Updated 12 Dec 2011
Type Journal
Year 2011
Where ATVA
Authors Sami Evangelista, Laure Petrucci, Samir Youcef
Comments (0)
books