Decidability of Parameterized Verification