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