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/).

翻译：我们提出了Tarski，一个用于指定可配置迹语义以促进迹自动推理的工具。软件开发项目需要在不同开发工件之间及其内部建模各种类型的迹。对于任何给定的工件（例如需求、架构模型和源代码），Tarski允许用户指定新的迹类型及其可配置语义，同时基于语义，它能够根据用户提供的现有迹自动推断新的迹，并检查迹的一致性。该工具已在汽车领域的三个工业案例研究中得到评估（https://modelwriter.github.io/Tarski/）。