Boolean-Valued Model Analysis Execution Protocol | Boolean-Valued Model Analysis | Mathematics | NEROS