AutoFOCUS 3 is a CASE tool for the development of embedded
systems with graphical models, including simulation, model-based
analyses and test generation.
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 is a popular generic theorem proving environment.
Isabelle is developed from the
theorem proving group together with
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.