Event-B; Formal methods; Model checking; NuSMV; RODIN;
机译:通过将赛事-b转换为SMV将定理证明和模型检查在安全关键软件开发中结合
机译:使用事件B语言将GMoDS模型表达为面向对象的模型
机译:使用事件B语言将GMoDS模型表达为面向对象的模型
机译:将SMV型号映射到Event-B型号
机译:y的求解:使用统计模型和改进的陆地表面几何模型进行数字土壤制图
机译:将所有原子模型映射到一个珠子的粗粒度模型上:通用属性和对最小多肽模型的应用
机译:通过将赛事-b转换为SMV将定理证明和模型检查在安全关键软件开发中结合
机译:使用符号模型验证器(smV)进行基于模型验证的实践问题研究