摘要：
1. 验证综述 2015. Applying Formal Methods to Networking: Theory, Techniques, and Applications IEEE Communications Surveys & Tutorials, 2015 https://ieeexp 阅读全文
摘要：
SIGCOMM'22 | Peng Zhang | https://dl.acm.org/doi/10.1145/3544216.3544264 SRE is a general and scalable network verification engine which supports vari 阅读全文
摘要：
SIGCOMM'16 | Aaron Gember-Jacobson | https://dl.acm.org/doi/10.1145/2934872.2934876 本文描述了一种新的路由控制平面抽象ARC，它能够在任意故障场景下快速验证关键属性。 1. 基本准备 1.1 背景 **控制平面配置复 阅读全文
摘要：
Ubuntu中默认没有Consolas字体，需要下载设置让IDE或OS使用该字体。 本文参考文章：https://www.mycode.net.cn/platform/741.html 系统：Ubuntu 20.04 1. 字体下载 可从参考文章中进行下载，也可从网盘下载 https://www.j 阅读全文
摘要：
主页：https://plantuml.com/ PlantUML是一个UML的工具，使用类似HTML的标记性语言，编写代码自动生成UML图。它会自动排版成完美的样式，并且功能很完善，本文主要简单介绍画简单的类图。 1. 使用准备 1.1 示例 PlantUML提供了在线服务。下面是一个简单示例： 阅读全文
摘要：
Jackson是当前比较广泛的，用来序列化和反序列化JSON的Java的开源框架。本文主要介绍Jackson反序列化的简单使用(序列化以后用到的话会更新)，其他比较深层的剖析请查阅相关文档。 Jackson的github主页（ https://github.com/FasterXML/jackson 阅读全文
摘要：
摘自：Python编程 从入门到实践（第2版）附录D Ubuntu 20.04 1. 安装Git $ sudo apt install git 2. 配置Git Git跟踪是谁修改了项目，需要知道用户名和电子邮件。 $ git config --global user.name "username" 阅读全文
