ITEA is the Eureka Cluster on software innovation
ITEA is the Eureka Cluster on software innovation
ITEA 4 page header grey golden ratio

Saarland University

Saarland University will participate as research lab with a long established record in the development of static-analysis methods and of application of static analysis in different domains.

Reinhard Wilhelm’s group at Saarland University also has a strong profile in compiler construction including compilers for embedded processors: Post-pass code optimizations have been realized resulting in extremely high code quality. Commercialization of a tool, aiPop, has been performed by the spin-off company AbsInt.

Documents

Project participation

ITEA 2 Call 1
Alt Alt Alt

ES_PASS

Embedded Software Product-based ASSurance