XMDL (X-machine Description Language)
A declarative language for practical development of X-machine specifications.
A tool that checks the correctness of specifications.
A tool that animates X-machine models.
A temporal logic notation for model checking X-machines.
A tool that verifies properties of X-machine models.
Department of Computer Science
CITY Liberal Studies, affiliated Institution of the University of Sheffield
13 Tsimiski str., Thessaloniki, 54624, Greece
Tel. ++30.2310.275.575 Fax. +30.2310.287.564
Page created and maintained by I. Stamatopoulou.
Last modified: December 2005