Sciweavers

Share
ENTCS
2008

A Stack-Slicing Algorithm for Multi-Core Model Checking

8 years 3 months ago
A Stack-Slicing Algorithm for Multi-Core Model Checking
The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantage of the additional processing power. With a steady increase in the number of available processing cores, we would like the performance of a model checker to increase as well
Gerard J. Holzmann
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Gerard J. Holzmann
Comments (0)
books