Truth – A Verification Platform for Concurrent Systems

@inproceedings {LLNT98,
	title = {Truth {\textendash} A Verification Platform for Concurrent Systems},
	booktitle = {Proceedings of Tools{\textquoteright}98},
	year = {1998},
	publisher = {Christian-Albrechts University of Kiel},
	organization = {Christian-Albrechts University of Kiel},
	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.},
	url = {http://www-i2.informatik.rwth-aachen.de/leucker/Literatur/Ps_files/tools98.ps.gz},
	author = {M.~Lange and Martin Leucker and T.~Noll and S.~Tobies}
}