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
Tarski is maintained by ModelWriter Project. Brand