搜索结果: 1-2 共查到“计算机系统结构 Checking”相关记录2条 . 查询时间(0.125 秒)
We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checkin...
Model Checking Large Network Protocol Implementations
Model Checking Large Network Protocol Implementations
2015/8/7
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks. However, network pro...