RSS 2 projects tagged "Quality Assurance"

Download Website Updated 05 Nov 2008 ESC/Java2

Screenshot
Pop 49.80
Vit 3.41

ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. It reasons about Java programs that have (optional) annotations written in JML.

Download Website Updated 12 Nov 2007 Simplify Theorem Prover

Screenshot
Pop 29.85
Vit 1.00

Simplify is an automated theorem prover used by ESC/Java2.

Screenshot

Project Spotlight

Arcavias Core

High performance e-commerce.

Screenshot

Project Spotlight

ZedPHP

Yet another small MVC framework for PHP.