RSS 1 project tagged "verification"

Download Website Updated 17 Jun 2010 Votail

Screenshot
Pop 23.07
Vit 39.03

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.

Screenshot

Project Spotlight

TurnKey Tomcat Appliance

An Ubuntu-based Apache Tomcat appliance that is easy to use and lightweight.

Screenshot

Project Spotlight

QtitanRibbon

An implementation of Microsoft's Ribbon UI for Qt.