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.
|Operating Systems||OS Independent|
No changes have been submitted for this release.