A Real Validator
Offline HTML validator for Windows based on an SGML parser
AdaControl
Rule-based static analysis tool for Ada source code
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