ModelWriter/Tarski

A Platform for Automated Analysis of Traceability (WP3)

语言：Java · GitHub 星标：9 · Fork：1

话题：alloy · automated-reasoning · formal-trace-semantics · kodkod · smt · traceability

在 GitHub 上查看原仓库