AutoFOCUS 3:
AutoFOCUS 3 is a CASE tool for the development of embedded systems with graphical models, including simulation, model-based analyses and test generation.

ConQAT:
ConQAT is a toolkit for the continuous assesment of software quality and software artefacts, providing analysis and visualization of diverse characteristics of quality metrics, clone detection, architecture conformance analysis and trend monitoring for quality status.

Isabelle:
Isabelle is a popular generic theorem proving environment. Isabelle is developed from the theorem proving group together with Cambridge University

V-Modell XT:
Technische Universität München is contributing author of the V-Modell XT. Continuous development and customizing of the V-Modell XT for public and private organizations is one of our ongoing tasks. A set of tools for V-Modell XT management is provided.