...
机译:HAL程序的检查模式
School of Computer Science & Software Engineering, Monash University, Australia;
strong modes; mode checking; regular grammars;
机译:使用遗传编程和模型检查进行自动程序修复
机译:用于传送并发程序的LTL模型检查
机译:使用静态和动态切入点的程序Petri网模型的等效性检查
机译:X10X:使用“旧”模型检查器检查新编程语言的模型
机译:使用逻辑编程对分布式自治代理进行模型检查。
机译:双侧肿瘤模型识别与患者对免疫检查点封锁相关的转录程序
机译:HAL程序的检查模式