Projekte

Ziel des Projekts ist die Verbesserung der Interaktion zwischen einem Menschen und einem Heimroboter. Eine der wichtigsten Aufgaben eines solchen …

Im Projekt IGEL wird eine Sicherungskomponente (Sicherheits-Laserscanner) entwickelt, welche zur Kollisionsvermeidung von autonomen, halbautonomen …

Entwicklung von Methoden und Werkzeugen zur Vernetzung von Logiken/Beweissystemen aus autom. Beweisen, Mathematik und Softwareentwicklung. Partner …

FormalSafe zielt auf die computergestützte Verwaltung der vielen Arten von Dokumenten, die in der Entwicklung hochzuverlässiger Systeme vorkommen, mit …

Dieses Projekt entwickelt eine Erweiterung herkömmlicher existierender generisches algorithmischer Methoden für koalgebraische Modallogik, welches als …

Ziel des Projektes SHARE-it ist es, ein skalierbares und adaptives System von Zusatzkomponenten für Sensoren und Assistenztechnologien zu entwickeln, …

Ziel des Projektes SAMS ist die Entwicklung einer zulassungsfähigen Fahrwegsicherung für Serviceroboter und fahrerlose Transportsysteme (FTS), die mit …

Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung.

Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware …

Das Projekt AWE untersucht das Potential der systematischen Verallgemeierung von formalen Entwicklung zur besseren Wiederverwendung. Partner …