KodKod

AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning
We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on …
Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan
PDF Cite DOI URL
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