Matching logic; reachability checking; software verification; syntax-directed;
机译:验证有关高阶逻辑程序的终止和归约属性
机译:用类星校验并发Ada程序的线性时间时序逻辑属性
机译:使用三值逻辑验证并发Java程序的安全属性
机译:匹配逻辑属性的语法驱动程序验证
机译:逻辑综合和验证中基于规范形式的布尔匹配和对称性检测
机译:驱动棘皮动物胚胎肌肉发育的遗传调控程序的逻辑和特性
机译:匹配逻辑属性的语法驱动程序验证