×

Truth – a verification platform for concurrent systems. (English) Zbl 0968.68527

Berghammer, Rudolf (ed.) et al., Tool support for system specification, development, and verification. Proceedings of the international workshop, Malente, Germany, June 1-4, 1998. Wien: Springer. Advances in Computing Science. 150-159 (1999).
From the introduction: Two approaches for the verification of systems can be distinguished: model checking and theorem proving. Several case studies have shown that especially model checking can help to find errors during the design process. In this paper we focus on model checking.
For the entire collection see [Zbl 0916.00015].

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

Keywords:

model checking
PDFBibTeX XMLCite