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
2 ECOO - Environment for cooperation
3 COPRIN - Constraints solving, optimization and robust interval analysis

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: operational transformation; rewriting; first order logique; reécriture; logique premier ordre; preuve automatique; therorem prover; transformée opérationnelle

Domaines: Autre [cs.OH]

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⟩