Projects

HasCASL: Algebraic Specification + Functional Programming = Environment for Formal Software Development The algebraic specification language CASL (Common Algebraic Specification Langage) has recently

The aim of the SAMS project is the development of a certifiable safety system for service robots and driverless transport vehicles, which uses a certified safety laser scanner to control a safety zone

Proof General Kit is a new component-based architecture for the Proof General project, based around a uniform protocol for communication between interactive proof tools, called PGIP. Partners IBM Deut

The aim of the AWE project is to increase this feasibility by developing a methodology for the reuse of formal developments under the slogan Abstraction for Reuse : given a formal development we want

The aim of the MMiSS project, which is supported by bmbf (German Ministry for Education and Research) in its programme "New Media in Education", is to set up a multimedia Internet-based adaptive educa

Employing the RoboCup scenario, this project develops methods which allow to classify primitive actions as well as complex behaviour patterns of other autonomous agents, to recognize sequences of acti

Hets is a parsing, static analysis and proof management tool combining various tools for different specification languages, thus providing a tool for the heterogeneous specification language HetCASL.