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 (UMR 6174), 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
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/inria-00099700
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 9:40:26 AM
Last modification on : Friday, July 6, 2018 - 3:06:10 PM

Links full text

openaccess

Identifiers

Collections

INRIA | CNRS | 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, pp.153-161, ⟨10.1016/S1571-0661(04)80660-1⟩. ⟨inria-00099700⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

407

 

 

Contact

archive-ouverte@inria.fr