A Novel Approach to Standardize Verification Configurations using YAML