The Optimal Model and Methods of Economical-Effective Problem in Model Check

• 模型校验经济有效性问题的优化模型与方法