Truth/SLC
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
Keywords for this software
References in zbMATH (referenced in 9 articles , 1 standard article )
Showing results 1 to 9 of 9.
Sorted by year (- Demri, Stéphane; D’Souza, Deepak: An automata-theoretic approach to constraint LTL (2007)
- Blom, Stefan; Orzan, Simona: A distributed algorithm for strong bisimulation reduction of state spaces (2005)
- Blom, Stefan; Orzan, Simona: A distributed algorithm for strong bisimulation reduction of state spaces (2005)
- Blom, Stefan; Orzan, Simona: Distributed state space minimization (2005)
- Blom, Stefan; Orzan, Simona Bunker, Annette; Gopalakrishnan, Ganesh; Slind, Konrad: Distributed state space minimization Live sequence charts applied to hardware requirements specification and verification (2005)
- Tan, Li: PlayGame: A platform for diagnostic games (2004)
- Blom, Stefan; Orzan, Simona: A distributed algorithm for strong bisimulation reduction of state spaces. (2002)
- Fritz, Carsten; Wilke, Thomas: State space reductions for alternating Büchi automata. Quotienting by simulation equivalences (2002)
- Leucker, Martin; Noll, Thomas: Truth/SLC -- a parallel verification platform for concurrent systems (2001)