Projects per year
Abstract
Votail is an open source Java implementation of Irish Proportional Representation by Single Transferable Vote (PR-STV). Its functional requirements, derived from Irish electoral law, are formally specified using the Business Object Notation (BON) and refined to a Java Modeling Language (JML) specification. Formal methods are used to verify and validate the correctness of the software. This is the first public release of a formally verified PR-STV open source system for ballot counting and the most recent of only about half a dozen releases of formally verified e-voting software
Original language | English |
---|---|
Journal | Karlsruhe Reports in Informatics |
Volume | 2010 |
Issue number | 13 |
Pages (from-to) | 235-252 |
Number of pages | 17 |
ISSN | 2190-4782 |
Publication status | Published - 2010 |
Event | International Conference on Formal Verification of Object-Oriented Software - Paris, France Duration: 28 Jun 2010 → 30 Jun 2010 http://foveoos2010.cost-ic0701.org/ |
Conference
Conference | International Conference on Formal Verification of Object-Oriented Software |
---|---|
Country/Territory | France |
City | Paris |
Period | 28/06/2010 → 30/06/2010 |
Internet address |
Keywords
- Votail
- Proportional Representation
- Single Transferable Vote
- Formal Verification
- E-Voting Software
Fingerprint
Dive into the research topics of 'Votail: A Formally Specified and Verified Ballot Counting System for Irish PR-STV Elections'. Together they form a unique fingerprint.Projects
- 1 Finished