Projects / KOA

KOA

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.

Tags
Licenses
Operating Systems
Implementation

RSS Recent releases

No changes have been submitted for this release.

Screenshot

Project Spotlight

MeTA1

A message transfer agent.

Screenshot

Project Spotlight

pride

Poor Richard's Independent anDroid Environment.