This paper gives an overview of the verification platform Truth which
is a model checking tool for concurrent systems. It is a modular
verification system which can be easily adjusted to different
specification languages. The initial version of Truth supports model
checking for CCS processes and mu-calculus formulas. It was
complemented later by rapid prototyping support for specification
languages, provided by the SLC specification language compiler
generator. The most recent member of the Truth Verification Platform
is a dedicated parallel version running on workstation clusters.
