...
机译:模型检查线性逻辑规格
ITC-IRST, Via Sommarive 18, Povo, 58050 Trento, Italy;
linear logic; fixpoint semantics; bottom-up evaluation;
机译:使用AIG解算器的一阶逻辑规范的模型检查软件
机译:FBT:一种将间隔逻辑规范应用于即时模型检查的工具
机译:通过间隔逻辑规范即时进行模型检查
机译:使用动态模型生成和计算树逻辑规范的操作系统过程资源图中死锁检测的模型检查方法
机译:用于大型软件规格的符号模型检查。
机译:模型检测技术在截尾线性回归模型评估函数形式规格
机译:模型检查线性逻辑规格
机译:具有公平约束的petri网线性时态逻辑性质模型检验。