Tool Enhancements FORWARD is conducting research in the following areas:
An interface between the FDR tool and the PRISM tool
Automatic support for Data Independent Induction
Automation of FDR Compression Techniques