1.Previous
3.Next

and verification of real-time systems modelled as networks of timed automata
* Zing - experimental tool from Microsoft to validate state models of software at various levels: high-level protocol descriptions, work-flow specifications, web services, device drivers, and protocols in the core of the operating system. Zing is currently being used for developing drivers for Windows.