Reasoning About Vote Counting Schemes Using Light-Weight and Heavy-Weight Methods

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Thorsten Bormer, Rajeev Goré, Michael Kirsten, and Thomas Meumann
In:8th International Verification Workshop (VERIFY 2014) in connection with IJCAR 2014: International Joint Conference on Automated Reasoning
Year:2014
URL:http://users.cecs.anu.edu.au/~rpg/Publications/VERIFY2014/verify14.pdf

Abstract

We compare and contrast our experiences in specifying, implementing and verifying the monotonicity property of a simple plurality voting scheme using modern light-weight and heavy-weight verification tools.

BibTeX

@InProceedings{BeckertBormerEA2014,
  author                = {Bernhard Beckert and Thorsten Bormer
                           and Rajeev Gor\'e and Michael Kirsten
                           and Thomas Meumann},
  title                 = {Reasoning About Vote Counting Schemes Using
                           Light-Weight and Heavy-Weight Methods},
  booktitle             = {8th International Verification Workshop (VERIFY 2014)
                           in connection with IJCAR 2014: International Joint
                           Conference on Automated Reasoning},
  editor                = {Serge Autexier and Bernhard Beckert},
  url                   = {http://users.cecs.anu.edu.au/~rpg/Publications/VERIFY2014/verify14.pdf},
  month                 = jul,
  year                  = {2014},
  abstract              = {We compare and contrast our experiences in specifying, implementing
                           and verifying the monotonicity property of a simple plurality voting
                           scheme using modern light-weight and heavy-weight verification tools.},
  venue                 = {Vienna, Austria},
  eventdate             = {2014-07-23/2014-07-24}
}