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

Recent releases

  •  24 Sep 2007 17:25

    No changes have been submitted for this release.

    Screenshot

    Project Spotlight

    OpenStack4j

    A Fluent OpenStack client API for Java.

    Screenshot

    Project Spotlight

    TurnKey TWiki Appliance

    A TWiki appliance that is easy to use and lightweight.