DisCo Logo  

The DisCo Home Page

Main Page
Disco in a Nutshell
Formal Issues
Publications
Bugreporting
Members
Links

Welcome to the DisCo Home Page


This page contains links to useful information about DisCo, a specification method for reactive systems.

A central part of the methodology is the DisCo specification language. There are two major versions of the language. When the version matters in the documentation, we refer to the different versions as DisCo92 and DisCo98, respectively. The DisCo Toolset distribution (see below) includes a language specification document of the version supported by the accompanying compiler.

PLEASE NOTE: DisCo Toolset for the new version of the language has been released (version 0.9, dated 17.07.2002) and it is available for download.
Give feedback.