Formal Model-based Validation for Tally Systems

Keyphrases

• Digital Voting 100%
• Model Validation 100%
• System Testing 100%
• Election Technologies 50%
• Single Transferable Vote 50%
• Proportional Representation 50%
• North America 50%
• Trust Level 50%
• Counting Process 50%
• Electoral Systems 50%
• Complete Set 50%
• National Elections 50%
• Non-isomorphic 50%
• Most Complex 50%
• Unit Testing 50%
• European American 50%
• Testing Framework 50%
• American Democracy 50%
• E-voting System 50%

Computer Science

• Open Source 100%
• Proportional Representation 50%
• Formalization 50%