Machine-checked Foundations for Verified Vote Counting

用于验证计票的机器检查基础

• 批准号: DP140101540
• 负责人: Prof Rajeev Gore
• 金额: $ 25.17万
• 依托单位: The Australian National University
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2014
• 资助国家: 澳大利亚
• 起止时间: 2014-07-30 至 2019-08-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP140101540
• 关键词: Machine; checked; Foundations; Verified; Vote

The project will deliver a general methodology for developing formal logical specifications of the Acts of Parliament for many common systems for counting votes in preferential elections. The project will deliver corresponding computer programs to count votes according to these systems and will deliver formal independently checkable proofs that the programs meet their specification. Such formally verified computer programs provide a legally sound basis for counting votes by computer. The methodology will also allow electoral commissioners to improve the natural language descriptions of the relevant Acts of Parliament which are often woefully out of date with current practice.

该项目将提供一个一般方法，为许多共同的选举计票系统制定议会法案的正式逻辑规范。该项目将根据这些系统提供相应的计算机程序来计算选票，并将提供正式的独立可检查的证明，证明程序符合其规范。这种经过正式验证的计算机程序为计算机计票提供了一个法律上可靠的基础。这一方法还将使选举专员能够改进议会相关法案的自然语言描述，这些法案往往严重过时。