Correctness Proof of the Standardized Algorithm for ABR Conformance

Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well de ned theoretical value. We present here the correctness proof of the algorithm standardized for the ATM transfer capability called ABR. The proof turned out a key argument during the standardization process of ABR.

• Type: Conference
• Year: 1999
• Where: FM
• Authors: Jean-François Monin, Francis Klay
• Keywords: ATM Cells, Capability Called Abr, FM 1999, Formal Methods, Real-time Reactive Algorithm