SymTA/S is a comprehensive Software-Toolbox for formal analysis and optimization of embedded systems. It is based on the concept of compositional analysis and incorporates many recent techniques e.g. for dependent processes, sensitivity analysis, or evolutionary system optimization. There is a commercial version developed and sold by the spin-off, Symtavision, while the IDA group continues research in new techniques and areas.
Current research extends to a number of coherent projects