Cyber-Physical Systems

Projects

Page 13 of 14.

HasCASL - HasCASL
HasCASL: Algebraic Specification + Functional Programming = Environment for Formal Software Development
The algebraic specification language CASL (Common Algebraic Specification Langage) has recently…
SAMS - Safety component for autonomous mobile service robots
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…
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 interactive proof tools, called PGIP.
Partners
- IBM…
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 Abstraction for Reuse: given a formal development we want…
OPENMATH - OPENMATH