Automatic Margin Computation for Risk-Limiting Audits

Keyphrases

• Risk-limiting Audit 100%
• Margin Computation 100%
• Electoral Outcomes 100%
• Knowledge-how 33%
• Model Checker 33%
• Paper Ballot 33%
• Program Analysis 33%
• Bounded Model Checking 33%
• Need to Know 33%
• Automatic Method 33%
• Statistical Methods 33%
• Fully-automatic 33%

Computer Science

• Election Result 100%
• Case Study 50%
• model checker 50%
• Model Checking 50%
• Program Analysis 50%
• Analysis Technique 50%