Truth—A Platform for Verification of Distributed Systems

Martin LeuckerMartin Leucker, Stephan TobiesStephan Tobies

Datei:LeuckerTobies-AIB-98-5.ps.gz

Download

Martin Leucker, Stephan Tobies
Truth—A Platform for Verification of Distributed Systems
Technical Report, RWTH Aachen, volume 98-05, May 1998. Aachener Informatik Bericht

Details
Bibtex

KurzfassungAbstract
Formal Methods are becoming more an more important for the development of hardware and software systems. Verification tools support the employment of Formal Methods. This paper gives an overview of the design and implementation of the verification tool Truth. We define and explain requirements for verification tools. Furthermore, we discuss several semantic models, specification languages and logics and their visualisation from a tool builder's perspective and show how these requirements were adopted in Truth.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ LeuckerTobies-AIB-98-5,
  author = {Martin {Leucker} and Stephan {Tobies}},
  institution = {RWTH Aachen},
  month = {May},
  number = {98-05},
  title = {Truth---A Platform for Verification of Distributed Systems},
  type = {Aachener Informatik Bericht},
  year = {1998},
}