Ferhat Erata
Ferhat Erata
Home
Publications
Experience
Service
Projects
Contact
CV
Light
Dark
Automatic
Formal Reasoning
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
Cite
×