Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic-Reference-Cited by-同舟云学术

Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic

Published:2015 Issue: Volume: Page:142-158
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Dawson Jeremy E.,Goré Rajeev,Meumann Thomas

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-22270-7_9

Reference23 articles.

1. AAP. AEC costs WA Senate election at $${\$}$$ $ 20M, February 2014. http://www.sbs.com.au/news/article/2014/02/25/aec-costs-wa-senate-election-20m

2. Abate, P., Dawson, J., Goré, R., Gray, M., Norrish, M., Slater, A.: Formal methods applied to electronic voting systems (2003). http://users.rsise.anu.edu.au/~rpg/EVoting/

3. ACTEC. Hare-Clark electoral system (2015). http://www.elections.act.gov.au

4. Arrow, K.J.: A difficulty in the concept of social welfare. J. Polit. Econ. 58(4), 328–346 (1950)

5. Beckert, B., Börmer, T., Goré, R., Kirsten, M., Meumann, T.: Reasoning about vote counting schemes using light-weight and heavy-weight methods. In: VERIFY 2014: Workshop Associated with IJCAR 2014 (2014)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verified Construction of Fair Voting Rules;Logic-Based Program Synthesis and Transformation;2020

2. Modular Synthesis of Verified Verifiers of Computation with STV Algorithms;2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE);2019-05

3. Modular Formalisation and Verification of STV Algorithms;Electronic Voting;2018

4. Formally verified invariants of vote counting schemes;Proceedings of the Australasian Computer Science Week Multiconference;2017-01-31

5. A Formally Verified Single Transferable Voting Scheme with Fractional Values;Electronic Voting;2017