  We present Tarski, a tool for specifying configurable trace semantics to
facilitate automated reasoning about traces. Software development projects
require that various types of traces be modeled between and within development
artifacts. For any given artifact (e.g., requirements, architecture models and
source code), Tarski allows the user to specify new trace types and their
configurable semantics, while, using the semantics, it automatically infers new
traces based on existing traces provided by the user, and checks the
consistency of traces. It has been evaluated on three industrial case studies
in the automotive domain (https://modelwriter.github.io/Tarski/).
