VOTE: Group Editors Analyzing Tool

Colloque avec actes et comité de lecture. internationale./http://www.sciencedirect.com/International audienceWe 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