Truth/SLC — A Parallel Verification Platform for Concurrent Systems
- Cite this paper as:
- Leucker M., Noll T. (2001) Truth/SLC — A Parallel Verification Platform for Concurrent Systems. In: Berry G., Comon H., Finkel A. (eds) Computer Aided Verification. CAV 2001. Lecture Notes in Computer Science, vol 2102. Springer, Berlin, Heidelberg
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.  for an overview).
Unable to display preview. Download preview PDF.