StateClock

(The tool and documentation is currently in alpha development)



The StateClock manual (long document).

StateClock is based on the notion of clock transition systems.

A simple example that illustrates modular verification was presented at CISS2000 .

The translation of clockcharts to STeP fair transition systems was described at theAMAST Workshop on Real-Time Systems

Salt Lake City, 1996.

A simple example that illustrates modular verification was presented at CISS2000 .

STeP documentation


The StateClock software is supplied as is and with no promise of technical support.

Please report bugs to stateclock@cs.yorku.ca.

StateClock development team:
Lewis Lo, Jonathan Ostroff and Thomas Armstrong.