Specification

COMPASS

informatik.uni-bremen.de

Goal: consolidate, integrate theoretical basis of algebraic specification methods and apply it to software. The algebraic approach supports precise specification of semantics of ge…

245 visits Dec 6, 2024 Details

Description Logics

ida.liu.se

Includes courses, tutorials, research groups and publications. Collected by Patrick Lambrix.

286 visits Sep 11, 2024 Details

Formal Methods Europe

fmeurope.org

An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains information on formal methods …

359 visits Jul 20, 2024 Details

FraCaS

cogsci.ed.ac.uk

A Framework for Computational Semantics.

468 visits Sep 18, 2024 Details

HasCASL DFG Project

informatik.uni-bremen.de

Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming l…

251 visits Aug 24, 2025 Details

Statestep

statestep.com

A lightweight, systematic method for finite state machine specification: a tool includes interactive checking and a kind of spreadsheet for invariants; it also supports decision ta…

410 visits May 13, 2025 Details