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

@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                   = {https://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}
}