combinational logic functions minimization
Transaction logic engine for JPA/Hibernate
Source Code Analyzer
Set of hints and refactor features for Java language in NetBeans IDE
Validation of complex Apache Oozie Hadoop workflow
Analysis tool that generates method call graphs
http://www.terraer.com.br