Truth/SLC - A Parallel Verification Platform for Concurrent Systems

Martin Leucker and Thomas Noll

To appear at 13th Conference on Computer-Aided Verification (CAV01), Paris, France, 18-22 July 2001


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.

Server START Conference Manager
Update Time 28 Mar 2001 at 08:36:01
Start Conference Manager
Conference Systems