Relational Logic

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