形式描述语言论文

论文摘要协议是计算机网络的灵魂，随着网络的不断发展，协议具有了空间分布性、并发性、异步性、不稳定性和多样性，这使得再也不可能靠直觉来设计出高质量的协议以及进行协议测试。由此兴起...