Published December 23, 2017 | Version v2.1.3
Software Open

Tarski: A Platform for Automated Analysis of Traceability

Creators

  • 1. UNIT Information Technologies R&D Ltd.

Description

Tarski is a tool that supports automated reasoning about traces based on configurable trace semantics. It has been implemented as a set of Eclipse plug-ins that activate the user interfaces and provides the features specifying trace types and their semantics, assigning traces in the artifacts using user-defined trace types, and reasoning about traces (i.e., deducing new traces and checking consistency of traces).

Files

ModelWriter/Tarski-v2.1.3.zip

Files (54.4 MB)

Name Size Download all
md5:0333550f08f592f546bfbe328fae385a
54.4 MB Preview Download

Additional details

Related works

Documents
10.1145/3106237.3122825 (DOI)
Is cited by
10.1145/3019612.3019747 (DOI)
Is identical to
https://modelwriter.github.io/Tarski/ (URL)
Is referenced by
http://dl.acm.org/citation.cfm?id=3155562.3155676 (URL)
Is supplement to
https://github.com/ModelWriter/Tarski/tree/v2.1.3 (URL)