Computer programs; Software engineering; Static models; Refining; Iterative solution;
机译:结合静态分析和基于案例的搜索空间划分以减少模型检查中的峰值内存
机译:结合静态分析和基于案例的搜索空间划分以减少模型检查中的峰值内存
机译:结合通量平衡分析和模型检查以进行代谢网络验证和分析
机译:结合静态分析和模型检查进行软件分析
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:基于静态分析指标和重用率信息的软件可重用性数据集
机译:结合静态分析和模型检查进行软件分析