HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

Contributor : Alain Giorgetti Connect in order to contact the contributor
Submitted on : Tuesday, July 21, 2015 - 2:58:52 PM
Last modification on : Friday, January 21, 2022 - 3:09:02 AM
Long-term archiving on: : Thursday, October 22, 2015 - 10:13:44 AM


Files produced by the author(s)


  • HAL Id : hal-00753008, version 1


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. ⟨hal-00753008⟩



Record views


Files downloads