期权垂直价差是一种期权策略，通过同时买入和卖出不同行权价的期权合约来实现投资收益。该策略的公式化可以通过以下步骤来实现：

1. 确定期权合约的买入和卖出方向：根据市场分析和投资目标，确定要买入和卖出的期权合约。

2. 确定买入和卖出的期权合约行权价：选择买入和卖出的期权合约具有不同行权价，通常买入的期权合约行权价较低，卖出的期权合约行权价较高。

3. 计算期权合约的买入和卖出价格：根据市场价格和波动率等因素，计算买入和卖出期权合约的价格。

4. 计算垂直价差的成本：将买入和卖出期权合约的价格相减，得到期权垂直价差的成本。

5. 计算垂直价差的收益：根据市场价格的变化和期权合约的行权价，计算期权垂直价差的收益。

通过以上公式化的步骤，投资者可以更清晰地理解期权垂直价差策略的成本和收益情况，从而更有效地进行投资决策。