Truth - A Verification Platform for Distributed Systems

Martin Leucker, Stephan Tobies

           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.