Projects

SPECifIC – Quality-driven Design Flow using Formal Specifications and Functional Change Management

The goal of the SPECifIC project is a novel design flow to support the development of embedded and cyber-physical systems, which will meet the …

SATCLOUD – Secure and highly-available Trust contexts for mixed cloud scenarios

Cloud computing is a key component in the future of IT infrastructure in organizations. Typically, however, not all components of IT infrastructure …

MORES – Modelling and Refinement of Security Requirements on Data and Processes

The project MoReS aims at the transfer and enhancement of existing information-flow control techniques for the development of secure systems using the …

SHIP – Semantic Integration of Heterogenous Processes

SHIP aims at utilizing, extending, and adapting semantic modelling, analysis and verification technologies to design, simulate, implement and adapt …

FormalSafe – Formal Development for Safe Robotics

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

GenMod – Generic Algorithms and Complexity Bounds in Coalgebraic Modal Logic

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

HasCASL – HasCASL

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

PGKit – Generic User Interfaces for Interactive Theorem Provers

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

AWE – Abstraction and Reuse of Formal Developments

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