We describe an extension of the SPIN model checker for use on multicore shared-memory
systems and report on its performance. We show how, with proper load balancing, the time …

This paper presents C ndfs, a tight integration of two earlier multi-core nested depth-first
search (N dfs) algorithms for LTL model checking. C ndfs combines the different strengths …

Abstract Model checking is a fully automated, formal method for demonstrating absence of
bugs in reactive systems. Here, bugs are violations of properties in Linear-time Temporal …

Recent technological developments made various many-core hardware platforms widely
accessible. These massively parallel architectures have been used to significantly …

Recent development in computer hardware has brought more wide-spread emergence of
shared-memory, multi-core systems. These architectures offer opportunities to speed up …

Abstract Model checking together with other formal methods and techniques is being
adapted for applications to biological systems. We present a selection of approaches used …

We study existing parallel algorithms for the decomposition of a partitioned graph into its
strongly connected components (SCCs). In particular, we identify several individual …

Recent technological developments made available various many-core hardware platforms.
For example, a SIMD-like hardware architecture became easily accessible for many users …

Partial order reduction and distributed-memory processing are the two essential techniques
to fight the well-known state space explosion problem in explicit state model checking …

To analyze larger models for explicit-state model checking, directed model checking applies
error-guided search, external model checking uses secondary storage media, and …