Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2000

Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm

Abstract

Nous prouvons la correction d'un algorithme de conformance ABR pour ATM.

Domains

Other [cs.OH]
No file

Dates and versions

inria-00099167 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099167 , version 1

Cite

Michaël Rusinowitch, Sorin Stratulat, Francis Klay. Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. 12th International Conference on Computer Aided Verification - CAV'2000, 2000, Chicago, USA, pp.344-357. ⟨inria-00099167⟩
53 View
0 Download

Share

Gmail Facebook X LinkedIn More