Explore projects

EST (Eclipse Standard Tools) is a set of core plugins to use for different Eclispe-based tools (e.g. Polarsys CHESS).

EATA Project provides a set of Java Adapters to the FBK analysis tools. Each adapter exposes a set of functions which map (not exhaustively) some functions of the analysis tools.