![]() |
The DisCo Home Page |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Welcome to the DisCo Home PageThis 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. |