On voting machine design for verification and testability.

Cynthia Sturton Susmit Jha Sanjit A. Seshia David A. Wagner

Published in: CCS (2009)

Keyphrases

formal methods
functional verification
machine learning
user experience
real time
neural network
artificial intelligence
knowledge base
image sequences
building blocks
software systems
software architecture
computer aided
design methodology