Book
Open access
Aug 2026
Towards Efficient Verification of Distributed In-Network Computing Programs
Procurator is a verification framework that efficiently captures interactive behaviors in distributed in-network programs and employs an intermediate representation (IR) pruner to reduce the execution space and a schedule-replay-based acceleration approach to avoid explicit exploration of long execution traces.
Mingyuan Song, Huan-Xing Shen, Jinghui Jiang et al.
· Conference on Applications,... · 0 citations