Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

FM
1999
Springer

favoriteEmaildiscussreport

126views Formal Methods» more FM 1999»

Correctness Proof of the Standardized Algorithm for ABR Conformance

13 years 8 months ago

Correctness Proof of the Standardized Algorithm for ABR Conformance

Download www-verimag.imag.fr

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.

Jean-François Monin, Francis Klay

Real-time Traffic

ATM Cells | Capability Called Abr | FM 1999 | Formal Methods | Real-time Reactive Algorithm |

claim paper

Related Content

» A polytime proof of correctness of the RabinMiller algorithm from Fermats little theorem

» Correctness Proofs Outline for NewtonRaphson Based FloatingPoint Divide and Square Root Al...

» A RefinementBased Correctness Proof of Symmetry Reduced Model Checking

» Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree ...

» A Proof System and a Decision Procedure for Equality Logic

» An EFSMBased Intrusion Detection System for Ad Hoc Networks

» Learning all optimal policies with multiple criteria

» Introducing fixedpoint iteration early in a compiler course

» Probabilistic relational reasoning for differential privacy

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	FM
Authors	Jean-François Monin, Francis Klay

Comments (0)