The DisCo Home Page
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.