Thursday, February 25, 2010

Beta release of Votail

The first beta release of Votail is now available. 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.


Anonymous Research Paper said...

Many institutions limit access to their online information. Making this information available will be an asset to all.

19 April, 2010 12:29  

Post a Comment

<< Home