Abstract: Partition-and-Recur PAR method is a simple and useful formal method used to design and prove algorithmic programs. In this paper, we address that PAR method is really an effective formal ...
Abstract: The stable path problem (SPP) is a unified model for analyzing the convergence of distributed routing protocols (e.g., BGP), and a foundation for many network verification tools. Although ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback