2023年3月27日
log-2023-03-03
摘要： 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 机智蛋 阅读(32) 评论(0) 推荐(0)
log-2023-03-06
摘要： 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 机智蛋 阅读(22) 评论(0) 推荐(0)
log-2023-03-07
摘要： 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 机智蛋 阅读(31) 评论(0) 推荐(0)
log-2023-03-20
摘要： TODO: FT generation Diagnosis PAPERS: * CODE: CONFUSIONS: * CONCLUSIONS: Symbolic Execution 和 Model Checking的区别 确定性程序和不确定性：把不同的程序块（一个入口进一个入口出）看作不同状态，确 阅读全文
posted @ 2023-03-27 17:01 机智蛋 阅读(50) 评论(0) 推荐(0)