Articles
VOTE: Group Editors Analyzing Tool

https://doi.org/10.1016/S1571-0661(04)80660-1Get rights and content
Under a Creative Commons license
open access

Abstract

We present an initial version of a tool VOTE1 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 theorem prover, which is suitable for reasoning about conditional theories. The effectiveness of our tool is illustrated on several case studies.

Cited by (0)