译自 Use of Formal Methods at Amazon Web Services 序自2011年起，AWS的工程师就已经使用形式化描述与模型检验来帮助解决设计关键系统的难题。这篇文章描述了： 应用过程中是什么提供了动力 获得了哪些经验 在他们的问题范围内哪些发挥良好作用哪些没有 A ...

0. OSI七层协议模型 TCP/IP四层协议 五层协议 OSI的协议是由专家指定的标准，但由于制定标准周期太长、过分复杂、缺乏实际经验等原因，基于TCP/IP的互联网抢先大范围运行。学习计算机网络时，我们采取折中的办法，采用一种五层协议体系结构，自上而下/自下而上地进行学习。 1. 应用层(ap ...