Truth—A Platform for Verification of Distributed Systems

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Truth—A Platform for Verification of Distributed Systems

Martin LeuckerMartin Leucker,  Stephan TobiesStephan Tobies
Martin Leucker, Stephan Tobies
Truth—A Platform for Verification of Distributed Systems
Technical Report, RWTH Aachen, volume 98-05, May 1998. Aachener Informatik Bericht
  • 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},
}