Explore projects

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

Syntax-derived editor for ES Tools

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.

Common configurations shared between TreC microservices and libraries