SHIP aims at utilizing, extending, and adapting semantic modelling, analysis and verification technologies to design, simulate, implement and adapt …
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 …
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 …