B-Method; Event-B; Proof; Symbolic model checking;
机译:证明辅助的软件和系统模型的有界和无界符号模型检查
机译:通过将赛事-b转换为SMV将定理证明和模型检查在安全关键软件开发中结合
机译:Symbolic PathFinder:将符号执行与模型检查集成在一起,以进行Java字节码分析
机译:B和Event-B的证明辅助符号模型检查
机译:使用符号模型检查对化学过程进行事件建模和验证。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:机器检查证明事件B机器转换为JmL
机译:基于符号模型检验的大型模型可诊断性实用形式验证