1.On verifying ATL transformations using‘off-the-shelf’ SMT solversFabian Buttner1 , Marina Egea2 , Jordi Cabot1¨1 AtlanMod, ´INRIA / Ecole de Mines de Nantes 2 ATOSResearch,…