1 project tagged "voting"

Licenses

Not
MIT/X (1)

Programming languages

Not
Java (1)

Operating systems

Sort by:

Relevance
Last Update
Creation
Project Name
Popularity
Vitality

Updated 17 Jun 2010 Votail

P_op	25.34
V_it	34.49

Votail is an implementation of Ireland's method of Proportional Representation by Single Transferable Vote (PRSTV). The functional requirements derived from Irish electoral law are specified using Business Object Notation (BON) and the Java Modeling Language (JML). Formal methods have been used to verify the correctness of the software.