Une approche parallèle et distribuée pour la complétion d'automates d'arbre

Adrian Caciula 1 Roméo Courbis 1, 2, * Violeta Felea 1 Pierre-Cyrille Heam 1, 2 Rasvan Ionescu 1
* Corresponding author
2 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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : La technique dite de complétion sur les automates d'arbre permet, à partir d'un automate d'arbre et d'un système de réécriture, de calculer une sur-approximation de l'ensemble des termes accessibles. Cette technique a été utilisée avec succès pour la vérification de protocoles de sécurité et, plus récemment, pour l'analyse des programmes Java. Comme dans toute approche de vérification par model-cheking, nous sommes confrontés à des problèmes d'explosion combinatoire lorsque les exemples deviennent plus conséquents. Dans cet article nous montrons comment faire face à cette situation en parallélisant et distribuant les calculs. Nous présentons aussi quelques résultats expérimentaux qui montrent que l'approche permet d'obtenir de meilleures performances en temps d'exécution.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00530350
Contributor : Roméo Courbis <>
Submitted on : Wednesday, November 3, 2010 - 10:39:19 AM
Last modification on : Friday, July 6, 2018 - 3:06:10 PM
Long-term archiving on : Friday, October 26, 2012 - 2:45:28 PM

File

CCFHI-AFADL10.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00530350, version 1

Citation

Adrian Caciula, Roméo Courbis, Violeta Felea, Pierre-Cyrille Heam, Rasvan Ionescu. Une approche parallèle et distribuée pour la complétion d'automates d'arbre. 10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2010, Jun 2010, Poitiers, France. pp.43. ⟨hal-00530350⟩

Share

Metrics

Record views

281

Files downloads

188