Projects

The project aims at improving the quality of interaction between a human and a domestic robot. One of the most important tasks of such a robot will be …

In this project a safety component (safety laser scanner) is developed that provides collision avoidance for vehicles in industrial settings using an …

Developing methods and tools for interfacing logics and proof systems used in automated reasoning, mathematics, and software engineering. Partners …

FormalSafe aims at the computer-supported management of the many and diverse documents produced during the development of highly dependable systems, …

This project is concerned with the extension of existing generic algorithmic methods in coalgebraic modal logic, conceived as a generic semantic …

The goal of SHARE-it is to develop a scalable, adaptive system of add-ons to sensor and assistive technology so that they can be modularly integrated …

The aim of the SAMS project is the development of a certifiable safety system for service robots and driverless transport vehicles, which uses a …

HasCASL: Algebraic Specification + Functional Programming = Environment for Formal Software Development The algebraic specification language CASL …

Proof General Kit is a new component-based architecture for the Proof General project, based around a uniform protocol for communication between …

The aim of the AWE project is to increase this feasibility by developing a methodology for the reuse of formal developments under the slogan …