Truth – A Verification Platform for Concurrent Systems

TitleTruth – A Verification Platform for Concurrent Systems
Publication TypeBook Chapter
Year of Publication1999
AuthorsM. Lange,, Leucker, M, T. Noll,, S. Tobies,
Book TitleTool Support for System Specification, Development, and Verification
Series TitleAdvances in Computing Science
PublisherSpringer
CityWien New York
Abstract

We briefly explain the design and implementation of the newly developed tool \Truth which serves as a general platform for the systematic investigation of different specification languages, semantic models, and logics for concurrent systems, supported by enhanced visualization capabilities. Modularity is achieved by employing the rewriting logic approach as a semantic framework for concurrency. Further extensions of \Truth, being in the design stage, comprise the support of the trace model of concurrency as well as game–base model checking algorithms.

Bibtex: 
@inbook {LLNT98b,
	title = {Truth {\textendash} A Verification Platform for Concurrent Systems},
	booktitle = {Tool Support for System Specification, Development, and Verification},
	series = {Advances in Computing Science},
	year = {1999},
	publisher = {Springer},
	organization = {Springer},
	address = {Wien New York},
	abstract = {We briefly explain the design and implementation of the newly developed tool \Truth which serves as a general platform for the systematic investigation of different specification languages, semantic models, and logics for concurrent systems, supported by enhanced visualization capabilities. Modularity is achieved by employing the rewriting logic approach as a semantic framework for concurrency. Further extensions of \Truth, being in the design stage, comprise the support of the trace model of concurrency as well as game{\textendash}base model checking algorithms.},
	author = {M.~Lange and Martin Leucker and T.~Noll and S.~Tobies}
}