Tarski: A Platform for Automated Analysis of Traceability
Automated Reasoning about Traces based on Configurable Formal Semantics
Home
View on GitHub
ITEA-ModelWriter Project
ITEA-ASSUME Project
Releases
Traceability Management
Functions such as create, delete, update and change type of the traces with respect to type hierarchy.