Bounded Verification of Voting Software.

Greg Dennis Kuat Yessenov Daniel Jackson

Published in: VSTTE (2008)

Keyphrases

software development
software systems
hardware designs
development process
formal methods
software maintenance
software architecture
model checking
personal computer
software tools
software design
voting method
user interface
computer systems
neural network
source code
special case
software platform