AutoFOCUS:
AutoFOCUS ist ein CASE-Tool zur Entwicklung eingebetteter Systeme mit Simulation, modellbasierten Analysen und Testgenerierung. AutoFOCUS wird in Zusammenarbeit mit der Validas AG entwickelt.

Isabelle:
Isabelle ist ein weit verbreitetes, generisches, und interaktives Beweissystem. Isabelle wird von der Theorem Beweiser Gruppe in Zusammenarbeit mit der Cambridge University entwickelt.

AutoFLEX:
AutoFLEX ist ein vollständige Neuentwicklung von AutoFOCUS mit neuen graphischen Beschreibungstechniken und einer neuer Benutzerschnittstelle.
Ein Prototyp und weitere Informationen sind verfügbar.