Projects

Displaying results 81 to 84 of 84.

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 …