Truth/SLC — A Parallel Verification Platform for Concurrent Systems

Purchase on Springer.com

$29.95 / €24.95 / £19.95*

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Concurrent software and hardware systems play an increasing rôle in today’s applications. Due to the large number of states and to the high degree of non-determinism arising from the dynamic behavior of such systems, testing is generally not sufficient to ensure the correctness of their implementation. Formal specification and verification methods are therefore becoming more and more popular, aiming to give rigorous support for the system design and for establishing its correctness properties, respectively (cf. [2] for an overview).