组合验证相关论文
安全关键系统广泛应用于航空电子、航天器、武器装备以及轨道交通等领域,这类系统具有高安全、资源受限、实时响应等特点。近年来,......
本文提出了打结不变的命题投影时序逻辑,介绍了基于该逻辑的模型检测方法,并采用该方法验证了无条件安全通信协议。命题投影时序逻......
随着网络技术的迅速发展,面向服务的体系架构(SOA)以其良好的可重用性、松耦合性和互操作性,已成为一种工业界和学术界广泛接受的......
