A Real Validator
Offline HTML validator for Windows based on an SGML parser
AdaTEST 95
Unit and integration testing tool for Ada 95 on host and embedded targets
AgitarOne
JUnit test generation and code agitation tool for Java
Alt-Ergo
SMT solver used as automatic prover in program verification tools
Level Access Platform
Digital accessibility testing, remediation and compliance reporting platform
AppPerfect Java Code Test
Static analysis of Java and JSP source code (end of life)