x-CITY-ng Achievements

XMDL (X-machine Description Language)
A declarative language for practical development of X-machine specifications.

XCheck
A tool that checks the correctness of specifications.

Animatex
A tool that animates X-machine models.

XmCTL
A temporal logic notation for model checking X-machines.

XMVerifier
A tool that verifies properties of X-machine models.

Software Engineering Research Group
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