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

EasyChair Preprint 15595

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.

Keyphrases: Bounded Model Checking, interactive verification, software verification, verification tools

@booklet{EasyChair:15595,
  author    = {Bernhard Beckert and Thorsten Bormer and Rajeev Gore and Michael Kirsten and Thomas Meumann},
  title     = {Reasoning About Vote Counting Schemes Using Light-Weight and Heavy-Weight Methods},
  howpublished = {EasyChair Preprint 15595},
  year      = {EasyChair, 2024}}