Specification
AMAST 2000
Algebraic Methodology And Software Technology conference: online proceedings and all papers, in .pdf format, abstracts in HTML.
CoFI: Common Framework Initiative
Open collaborative effort to produce a Common Algebraic Specification Language (CASL) as the center of an internationally standardized family of specification languages. Contacts w…
Concurrency-1993: International Workshop on Semantics of Specification Languages
Detailed Call for participation: location, dates, topics, schedule, and speakers.
Description Logics
Includes courses, tutorials, research groups and publications. Collected by Patrick Lambrix.
Formal Methods Europe
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 …
HasCASL DFG Project
Algebraic Specification + Functional Programming = Environment for Formal Software Development. An extension of CASL that establishes a connection with the functional programming l…
INKA Inductive Theorem Prover
First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus, a special variant of the resolution calculus with pa…
Interactive Software Development and Renovation Software
ASF+SDF compiler runtime library, Meta-Environment, ATerm Library, SDF2 Parser generator, Completa, SGLR (Scannerless Generalized LR parser), ToolBus.
ResearchIndex: Proof Theoretic Approach To Specification Languages
Thesis studies FORUM as specification language. FORUM is a higher order logic based on the logical connectives of Linear Logic. Initial example demonstrates that FORUM is well suit…
ResearchIndex: Structure-preserving specification languages for knowledge-based systems
Much work on validation and verification of knowledge based systems (KBSs) has been done in implementation languages, mostly rule based. Recent papers suggest it is useful to do va…
StateWORKS Studio
Professional software specification environment based on finite state machine (FSM) concept. Contains FSM editor, simulator, monitoring and debugging tools. Allows to build complex…
The WWW Virtual Library: Formal Methods
Pointers to information on Formal Methods, useful for mathematically describing and reasoning about computer-based systems.
Showing 20–18 of 18 results