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.
Open source project that offer summary and download services on this page is a project that carry out their development work on other open source development sites. Their work is linked to this page via a feature called OFI, and their work is not carried out here on OSDN site.