Skip to Main content Skip to Navigation
Conference papers

Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm

Michaël Rusinowitch 1 Sorin Stratulat 1 Francis Klay 2
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Nous prouvons la correction d'un algorithme de conformance ABR pour ATM.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00099167
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:51:29 AM
Last modification on : Wednesday, January 8, 2020 - 2:17:17 PM

Identifiers

  • HAL Id : inria-00099167, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

152