Truth/SLC swMATH ID: 1623 Software Authors: Leucker, Martin; Noll, Thomas Description: Truth/SLC – a parallel verification platform for concurrent systems. 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 nondeterminism 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. In view of the inherent complexity of formal methods it is desirable to provide the user with tool support. It is even indispensable for the design of safety-critical concurrent systems where an ad hoc or conventional software engineering approach is not justifiable. There is one particularly successful automated approach to verification, called model checking, in which one tries to prove that (a model of) a system has certain properties specified in a suitable logic Homepage: http://www.springerlink.com/content/4xxfkk34c1jwqa6g/ Related Software: mCRL; CADP; PlayGame Cited in: 4 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Truth/SLC – a parallel verification platform for concurrent systems. Zbl 0991.68646Leucker, Martin; Noll, Thomas 2001 all top 5 Cited by 7 Authors 1 Demri, Stéphane P. 1 D’Souza, Deepak 1 Fritz, Carsten 1 Leucker, Martin 1 Noll, Thomas 1 Tan, Li 1 Wilke, Thomas Cited in 1 Serial 1 Information and Computation Cited in 3 Fields 4 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year