SAT-Based Verification Validation and Review Protocol | SAT-Based Verification | Mathematics | NEROS