A Stack-Slicing Algorithm for Multi-Core Model Checking | Zendy

Gerard J. Holzmann | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Stack-Slicing Algorithm for Multi-Core Model Checking

Author(s) -

Gerard J. Holzmann

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.10.017

Subject(s) - computer science , model checking , slicing , stack (abstract data type) , core (optical fiber) , focus (optics) , parallel computing , distributed computing , algorithm , multi core processor , many core , theoretical computer science , programming language , physics , telecommunications , world wide web , optics

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 – ideally linearly. The new trend implies a change of focus away from cluster computers towards shared memory systems. In this paper we discuss the multi-core algorithms that are in development for the SPIN model checker

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research