Welcome to CMC

Documentation:
A Quick Help is available both for the COWS process algebra and for its UCTL logics .
For the detailed COW language definition See the COWS site at rap.dsi.unifi.it
The Temporal Logics for the model checked is the same logics of the UMC tool
(a more detailed presentation of quite obsolete version is in UMC-Logics.pdf).

Download:
A binary distribution of the command-line oriented version of the tool for
Windows or OSX is available.

Requirements:
Any browser with frames, javascript, DHTML and SVG support, e.g.:
Firefox, Safari, Internet Explorer + Adobe SVG plugin

Author:
Franco Mazzanti ( http://fmt.isti.cnr.it/~mazzanti)

Credits:
Graphics generated with GraphViz ( http://www.graphviz.org/)
Graph minimization with EST (EST)


   The pictures on the left side represent paintings of Wassily Kandinsky (1866 - 1944).
   The painter view of the world has evolved in time from "ground" to "abstract".
   We suggest a similar approach also for the analysis of computing systems.