交互实验 · 证据链

分层网络排障决策器

为每一层选择已经观察到的结果。工具只在第一个断点停下，给出下一条只读检查命令，并分开列出“已经证明”和“仍未证明”的事实。