Specification and Validation of Algorithms Generating Planar Lehman Words

Alain Giorgetti 1, 2 Valerio Senni 3
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : This paper presents specifications and implementations of algorithms for the generation of planar Lehman words (that is, A. B. Lehman's code for rooted planar maps), together with their validation. The focus is on computer assistance for the task of validation of an implementation with respect to a different implementation or a formal specification. The paper also provides some combinatorial results that are, to our knowledge, new.
Type de document :
Communication dans un congrès
GASCom 2012 - 8th International Conference on random generation of combinatorial structures, Jun 2012, Bordeaux, France. 2012
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00753008
Contributeur : Alain Giorgetti <>
Soumis le : mardi 21 juillet 2015 - 14:58:52
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10
Document(s) archivé(s) le : jeudi 22 octobre 2015 - 10:13:44

Fichier

GS12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00753008, version 1

Citation

Alain Giorgetti, Valerio Senni. Specification and Validation of Algorithms Generating Planar Lehman Words. GASCom 2012 - 8th International Conference on random generation of combinatorial structures, Jun 2012, Bordeaux, France. 2012. 〈hal-00753008〉

Partager

Métriques

Consultations de la notice

741

Téléchargements de fichiers

93