Tool support for the Z formal notation
Java class file shrinker, optimizer, obfuscator, and preverifier
Reverse-engineering tool
C++ CASE tool, full life cycle code generator
Generating PLC programs from formal specifications
Data Access Layer 4 Java