Feature Cardinalities; Model Checking; Numeric Features; Semantics; Software Product Lines; Tools;
机译:使用归纳法和SAT解算器的高效软件产品线模型检查
机译:概率布尔网络建模与模型检查作为制造系统DFMEA的方法(Vol 29,PG 1393,2018)
机译:概率布尔网络建模与模型检查作为制造系统DFMEA的方法
机译:超越布尔产品线模型检查:处理功能属性和多功能
机译:癫痫发作模式和深神经结构对癫痫癫痫发作预测的多种特征分析
机译:通过迭代CTL模型检查逼近布尔网络的吸引子
机译:布尔产品线模型检查之外:处理特征属性和多特征
机译:时间自动机无界完全符号模型检验的布尔方法