Eclipse 4diac the open source solution for industrial automation
Software Unit Tests (Language Independent Approach)
PyUnit and PyDev extensions for arbitrary Executables
Unified Test and Logging layer for multiple programming languages
combinational logic functions minimization
SPIN-based Eclipse Model Checking Plugin