VOTE: Group Editors Analyzing Tool

Abdessamad Imine 1 Pascal Molli 2 Gérald Oster 2 Pascal Urso 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, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 ECOO - Environment for cooperation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
3 COPRIN - Constraints solving, optimization and robust interval analysis
CRISAM - Inria Sophia Antipolis - Méditerranée , ENPC - École des Ponts ParisTech
Abstract : We present an initial version of our tool VOTE for detecting copies inconsistency in group editors. As input, our tool takes an algorithmic-description which consists of the group editor behaviour and the transformation algorithm. VOTE translates this description into rewrite rules. As a verification back-end we use SPIKE, an automated induction-based theroem prover, which is suitable for reasoning about conditional theories. The effectiveness of our tool is illustrated on several case studies.
Mots-clés : transformée opérationnelle therorem prover operational transformation rewriting first order logique reécriture logique premier ordre preuve automatique
Type de document :
Communication dans un congrès
Fourth International Workshop on First-Order Theorem Proving - FTP'03, 2003, Valencia, Spain, Elsevier, 86/1 (1), pp.153-161, 2003, Electronic Notes in Theoretical Computer Science. 〈10.1016/S1571-0661(04)80660-1〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00099700
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:40:26
Dernière modification le : samedi 7 avril 2018 - 01:18:36

Lien texte intégral

openaccess

Identifiants

Collections

INRIA | UNIV-FCOMTE | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | LORIA | UNIV-LORRAINE | ENPC | PARISTECH

Citation

Abdessamad Imine, Pascal Molli, Gérald Oster, Pascal Urso. VOTE: Group Editors Analyzing Tool. Fourth International Workshop on First-Order Theorem Proving - FTP'03, 2003, Valencia, Spain, Elsevier, 86/1 (1), pp.153-161, 2003, Electronic Notes in Theoretical Computer Science. 〈10.1016/S1571-0661(04)80660-1〉. 〈inria-00099700〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

257

Contact


archive-ouverte@inria.fr