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.
Type de document :
Communication dans un congrès
E. Allen Emerson & A. Prasad Sistla. 12th International Conference on Computer Aided Verification - CAV'2000, 2000, Chicago, USA, Springer, 1855, pp.344-357, 2000, Lecture notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00099167
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:51:29
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00099167, version 1

Collections

Citation

Michaël Rusinowitch, Sorin Stratulat, Francis Klay. Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm. E. Allen Emerson & A. Prasad Sistla. 12th International Conference on Computer Aided Verification - CAV'2000, 2000, Chicago, USA, Springer, 1855, pp.344-357, 2000, Lecture notes in Computer Science. 〈inria-00099167〉

Partager

Métriques

Consultations de la notice

85