Truth/SLC — A Parallel Verification Platform for Concurrent Systems

  • Martin Leucker
  • Thomas Noll
Conference paper

DOI: 10.1007/3-540-44585-4_24

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2102)
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

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).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Martin Leucker
    • 1
  • Thomas Noll
    • 1
  1. 1.Lehrstuhl für Informatik IIAachen University of TechnologyGermany

Personalised recommendations