路由 swMATH ID: 28875 软件作者： 朱利叶斯·迈克利斯；科尼利厄斯·迪克曼 描述： 路由。此条目包含使用路由表/最长前缀匹配进行路由的定义。路由表条目被建模为前缀匹配、度量、输出端口和可选下一跃点的记录。路由表是按前缀长度和度量排序的条目列表。此外，还包括用于输出ip-route命令的解析器和序列化器，创建从输出端口到相应目标ip空间的关系的函数，以及Linux-style路由器的模型。 主页： https://www.isa-afp.org/entries/Routing.html 依赖项： 伊莎贝尔 相关软件： github；NetKAT公司；菲尔马托；自动参照；nftables（表格）；iptables；前列腺素f；配置检查器；LOFT公司；马尔格雷夫；Iptables语义；UPF防火墙；IP地址；简单防火墙；防火墙生成器；存档正式证据；NetCore公司；消防员；TikZ公司；伊莎贝尔/HOL 引用于： 1文件 5位作者引用 1 乔治·卡尔 1 科尼利厄斯·迪克曼 1 马克西米利安·哈斯贝克。 1 拉尔斯·胡佩尔 1 朱利叶斯·迈克利斯 连载1篇 1 自动推理杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文