Verification-as-a-Service for Parameter Assessment