You can follow the discussion on On verifying ATL transformations using ‘off-the-shelf’ SMT solvers without having to leave a comment. Cool, huh? Just enter your email address in the form here below and you’re all set.
You can follow the discussion on On verifying ATL transformations using ‘off-the-shelf’ SMT solvers without having to leave a comment. Cool, huh? Just enter your email address in the form here below and you’re all set.
Recent Comments