Verification-Centric Realization of Electronic Vote Counting.

Joseph R. Kiniry Dermot Cochran Patrick E. Tierney

Published in: EVT (2007)

Keyphrases

person identification
model checking
voting schemes
design automation
face verification
artificial intelligence
real world
formal verification
learning algorithm
data structure
expert systems
machine learning
user centric
neural network
asynchronous circuits
databases
concurrent systems
data sets