KindSoftware

KOA is a free electronic voting software created for the Netherlands government in 2003. The software enables remote and internet voting.

The ESC/Java2 Frontend project converts Java 1.4 source code and 1.5 bytecode into an Abstract Syntax Tree.

ESC/Java2 is a software tool that checks Java programs for common programming errors. It utilizes static analysis and JML annotations to detect errors in a modular manner.