Ein Werkzeug für automatisches Schlussfolgern über Spuren basierend auf konfigurierbarer formaler Semantik

Tarski ermöglicht automatisches Schlussfolgern über Spuren durch konfigurierbare Semantik.