VOTE: Group Editors Analyzing Tool

Abdessamad Imine; Pascal Molli; Gérald Oster; Pascal Urso

VOTE: Group Editors Analyzing Tool

Abdessamad Imine ¹ Pascal Molli ² Gérald Oster ² Pascal Urso ³

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

Domain :

Computer Science [cs] / Other [cs.OH]

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

VOTE: Group Editors Analyzing Tool

Links full text

Identifiers

Collections

Citation

Export

Metrics

377

Contact

VOTE: Group Editors Analyzing Tool

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

377

Contact