Tarski: A Platform for Automated Analysis of Traceability

This work is conducted within ModelWriter and ASSUME projects, both labeled by the European Union's EUREKA Cluster programme Information Technology for European Advancement (ITEA) and partially supported by the Scientific and Technological Research Council of Turkey (TUBITAK), Technology and Innovation Funding Programs Directorate (TEYDEB) under project # 9140014, 9150181 and Minister for the Economy, Industry and Digital Affairs of France, Directorate-General for Enterprise (DGE) under contract # 142930204. The authors would like to acknowledge networking support by European Cooperation in Science and Technology Action (COST) IC1404 "Multi-Paradigm Modelling for Cyber-Physical Systems".