VOTE: Group Editors Analyzing Tool - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

VOTE: Group Editors Analyzing Tool


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.

Dates and versions

inria-00099700 , version 1 (26-09-2006)



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⟩
242 View
0 Download



Gmail Facebook Twitter LinkedIn More