Model checking; Process Modeling; Software debugging; Software tools; system verification;
机译:嵌入式系统的模型检查C源代码
机译:软件模型检查:提取验证模型表格源代码
机译:使用软件模型检查来验证协议一致性,以进行嵌入式系统的模型驱动开发
机译:通过使用模型检查来验证用于检测源代码缺陷的方法
机译:可靠的嵌入式硬件系统的抽象解释器建模和验证方法。
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:软件模型检查 - 从源代码中提取验证模型