disj相关论文
抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于......
针对无线传感器网络(WSN)不相交多路径路由中的路径过长问题和缠绕多路径路由中的容错削弱问题,提出一种多路径缠绕模型及其容错路......