Development, formal verification, and evaluation of an E-voting system with VVPAT.
Adolfo VillafioritaKomminist WeldemariamRoberto TiellaPublished in: IEEE Trans. Inf. Forensics Secur. (2009)
Keyphrases
- formal verification
- model checking
- automated verification
- formative evaluation
- model checker
- case study
- knowledge based systems
- temporal logic
- development process
- program slicing
- bounded model checking
- symbolic model checking
- neural network
- domain independent
- information processing
- multi agent systems
- information retrieval