On the Specification and Verification of Voting Schemes.

Bernhard Beckert Rajeev Goré Carsten Schürmann

Published in: VoteID (2013)

Keyphrases

voting schemes
formal verification
asynchronous circuits
protocol specification
voting scheme
model checking
data sets
base classifiers