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
Ccide is a Decision Table preprocessor.