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

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Gerard J. Holzmann
• Keywords: Cluster Computers, ENTCS 2008, Logic Model, Model Checker