Engineering software for modular formalisation and verification of STV algorithms

Milad K. Ghale

doi:10.1007/978-3-030-02450-5_35

Engineering software for modular formalisation and verification of STV algorithms

Milad K. Ghale^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We introduce new software for provably correct computation with Single Transferable Voting (STV) algorithms. The software is engineered as a framework for modular formalisation, verification, extraction of executable certifying programmes, and verified certificate checking for various STV algorithms. We demonstrate functionality and effectiveness of our approach by evaluating the software on some real-size elections.

Original language	English
Title of host publication	Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Proceedings
Editors	Jing Sun, Meng Sun
Publisher	Springer Verlag
Pages	459-463
Number of pages	5
ISBN (Print)	9783030024499
DOIs	https://doi.org/10.1007/978-3-030-02450-5_35
Publication status	Published - 2018
Event	20th International Conference on Formal Engineering Methods, ICFEM 2018 - Gold Coast, Australia Duration: 12 Nov 2018 → 16 Nov 2018

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11232 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	20th International Conference on Formal Engineering Methods, ICFEM 2018
Country/Territory	Australia
City	Gold Coast
Period	12/11/18 → 16/11/18

Access to Document

10.1007/978-3-030-02450-5_35

Cite this

Ghale, M. K. (2018). Engineering software for modular formalisation and verification of STV algorithms. In J. Sun, & M. Sun (Eds.), Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Proceedings (pp. 459-463). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11232 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-02450-5_35

Ghale, Milad K. / Engineering software for modular formalisation and verification of STV algorithms. Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Proceedings. editor / Jing Sun ; Meng Sun. Springer Verlag, 2018. pp. 459-463 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{5f019cfc854049f4837d728d65f55a99,

title = "Engineering software for modular formalisation and verification of STV algorithms",

abstract = "We introduce new software for provably correct computation with Single Transferable Voting (STV) algorithms. The software is engineered as a framework for modular formalisation, verification, extraction of executable certifying programmes, and verified certificate checking for various STV algorithms. We demonstrate functionality and effectiveness of our approach by evaluating the software on some real-size elections.",

author = "Ghale, {Milad K.}",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.; 20th International Conference on Formal Engineering Methods, ICFEM 2018 ; Conference date: 12-11-2018 Through 16-11-2018",

year = "2018",

doi = "10.1007/978-3-030-02450-5_35",

language = "English",

isbn = "9783030024499",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "459--463",

editor = "Jing Sun and Meng Sun",

booktitle = "Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Proceedings",

address = "Germany",

}

Ghale, MK 2018, Engineering software for modular formalisation and verification of STV algorithms. in J Sun & M Sun (eds), Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11232 LNCS, Springer Verlag, pp. 459-463, 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, Australia, 12/11/18. https://doi.org/10.1007/978-3-030-02450-5_35

Engineering software for modular formalisation and verification of STV algorithms. / Ghale, Milad K.
Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Proceedings. ed. / Jing Sun; Meng Sun. Springer Verlag, 2018. p. 459-463 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11232 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Engineering software for modular formalisation and verification of STV algorithms

AU - Ghale, Milad K.

N1 - Publisher Copyright: © Springer Nature Switzerland AG 2018.

PY - 2018

Y1 - 2018

N2 - We introduce new software for provably correct computation with Single Transferable Voting (STV) algorithms. The software is engineered as a framework for modular formalisation, verification, extraction of executable certifying programmes, and verified certificate checking for various STV algorithms. We demonstrate functionality and effectiveness of our approach by evaluating the software on some real-size elections.

AB - We introduce new software for provably correct computation with Single Transferable Voting (STV) algorithms. The software is engineered as a framework for modular formalisation, verification, extraction of executable certifying programmes, and verified certificate checking for various STV algorithms. We demonstrate functionality and effectiveness of our approach by evaluating the software on some real-size elections.

UR - http://www.scopus.com/inward/record.url?scp=85056810157&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-02450-5_35

DO - 10.1007/978-3-030-02450-5_35

M3 - Conference contribution

SN - 9783030024499

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 459

EP - 463

BT - Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Proceedings

A2 - Sun, Jing

A2 - Sun, Meng

PB - Springer Verlag

T2 - 20th International Conference on Formal Engineering Methods, ICFEM 2018

Y2 - 12 November 2018 through 16 November 2018

ER -

Ghale MK. Engineering software for modular formalisation and verification of STV algorithms. In Sun J, Sun M, editors, Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Proceedings. Springer Verlag. 2018. p. 459-463. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-02450-5_35

Engineering software for modular formalisation and verification of STV algorithms

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this