Derivability Analysis Protocol Design | Derivability Analysis | Mathematics | NEROS