KOA is a remote voting system developed using applied formal methods. KOA is specified using BON and JML and is implemented in Java. The first alpha release includes plugins for the Irish and Dutch voting systems.
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.
