Tool support for the Z formal notation
Java class file shrinker, optimizer, obfuscator, and preverifier
C++, Java IDE with auto class, sequence, zone, dependency, diagrams
XMLUnit provides assertions that help testing code that produces XML.
Compose build options with the declarative UI