2 projects tagged "Quality Assurance"
Updated 05 Nov 2008
ESC/Java2
| Pop | 52.44 |
|---|---|
| Vit | 3.54 |
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.
Updated 12 Nov 2007
Simplify Theorem Prover
| Pop | 33.63 |
|---|---|
| Vit | 1.00 |
Simplify is an automated theorem prover used by ESC/Java2.
