摘要：
PAPERS: NetKAT???【PL的文章太反人类了】：for SDN programming... 新的structural的范式易于验证和诊断【因为这样诊断也可以写成一条条program？】 NetKAT后续，ryan 还没理解文章的目的，应该和network关系不大了 CODE: Java 阅读全文
posted @ 2023-03-29 16:39
机智蛋
阅读(29)
评论(0)
推荐(0)
摘要：
TODO: Halpern and Pearl's actual causality model Finalize the spec for each protocol PAPERS: Actual Causality Introduction to Temporal Logic An Introd 阅读全文
posted @ 2023-03-27 17:02
机智蛋
阅读(27)
评论(0)
推荐(0)
摘要：
TODO: Finish hierachical diagnosis design Phd sign up PAPERS: * CODE: Java lambda: function as paramete including 1. no parameter, 2. with parameters 阅读全文
posted @ 2023-03-27 17:01
机智蛋
阅读(20)
评论(0)
推荐(0)
摘要：
TODO: Tiramisu TPG construction Layer 2: Ifaces have the same prefix (and in the same vlan area, if any): @A-(AB link)-out->@B-(AB link)-in, @A-(* lin 阅读全文
posted @ 2023-03-27 17:01
机智蛋
阅读(30)
评论(0)
推荐(0)
摘要：
TODO: FT generation Diagnosis PAPERS: * CODE: CONFUSIONS: * CONCLUSIONS: Symbolic Execution 和 Model Checking的区别 确定性程序和不确定性：把不同的程序块（一个入口进一个入口出）看作不同状态，确 阅读全文
posted @ 2023-03-27 17:01
机智蛋
阅读(47)
评论(0)
推荐(0)
摘要：
TODO: Try to decouple the requirements for underlay and overlay networks (which can be divided by protocols, either) to diagnose separately. Have a ba 阅读全文
posted @ 2023-03-20 14:52
机智蛋
阅读(33)
评论(0)
推荐(0)
摘要：
maven版本 # 例如minesweeper版本 git clone -b minesweeper-ibgp-new https://github.com/batfish/batfish.git 1. 编译项目 mvn -f project/pom.xml package 2. launch.js 阅读全文
posted @ 2023-03-02 20:25
机智蛋
阅读(126)
评论(0)
推荐(0)
摘要：
命令 alias pip='/usr/local/bin/pip3' alias python='/usr/local/bin/python3.9' 在/etc/bash.bashrc里添加就不用每开一个bash输一次命令 ！但是即使在/etc/bash.bashrc里加入命令，vscode里直接r 阅读全文
posted @ 2023-03-02 20:24
机智蛋
阅读(22)
评论(0)
推荐(0)
摘要：
1. 服务器之间用密钥认证传输 sudo scp -i /home/dell/yrl/my/sng-rsa/7160 -r *local dir* yrl@192.168.0.160:/home/yrl/*remote dir*passswd:（-^O^-） 阅读全文
posted @ 2023-03-02 20:24
机智蛋
阅读(18)
评论(0)
推荐(0)
摘要：
问题： Exception in thread "Thread-3" java.lang.VerifyError: Bad type on operand stack Exception Details:Location:org/batfish/main/Batfish.flatten(Ljava/ 阅读全文
posted @ 2023-02-27 17:51
机智蛋
阅读(1156)
评论(0)
推荐(0)
浙公网安备 33010602011771号