Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
Résumé
Nous prouvons la correction d'un algorithme de conformance ABR pour ATM.
Communication Dans Un Congrès
Année : 2000
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00099167
Soumis le : mardi 26 septembre 2006-08:51:29
Dernière modification le : jeudi 15 février 2024-03:31:34
Dates et versions
Identifiants
- HAL Id : inria-00099167 , version 1
Citer
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⟩
Collections
64
Consultations
0
Téléchargements