Searching protocol for "formal verification"
Maximize first-pass verification success.
Preprocess TCGA data for survival analysis.