An ABR conformance algorithm for controlling the source rates through an interface has been defined by ATM Forum and a more efficient version of it has been ...

An ABR conformance algorithm for controlling the source rates through an interface has been defined by ATM Forum, and a more efficient version of it has been ...

We present in this work the first complete mechanical verification of the equivalence between these two algorithms. The proof is involved and has been supported ...

Abstract: The Available Bit Rate protocol (ABR) for ATM networks is well-adapted to data traffic by providing minimum rate guarantees and low cell loss to ...

Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm ; Michaël Rusinowitch · Constraints, automatic deduction and software properties proofs.

Bibliographic details on Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm.

The correctness proof of the algorithm standardized for the ATM transfer capability called ABR is presented, which turned out a key argument during the ...

Mechanical verification of an ideal incremental ABR conformance algorithm. M Rusinowitch, S Stratulat, F Klay. Journal of Automated Reasoning 30, 153-177, 2003.

Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. The Available Bit Rate protocol (ABR) for ATM networks is well adapted to data ...

Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm · M. RusinowitchSorin StratulatF. Klay. Computer Science, Engineering. Journal of ...