formal trace semantics

A tool for automated reasoning about traces based on configurable formal semantics
We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software …
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan, Geylani Kardas
PDF Cite DOI URL
Tarski: A platform for automated analysis of dynamically configurable traceability semantics
Traceability can be defined as the degree to which a relationship can be established among work products of the development process. …
Ferhat Erata, Moharram Challenger, Bedir Tekinerdogan, Anne Monceaux, Eray Tüzün, Geylani Kardas
Cite DOI URL