The new video section just opened. A first exemplifying video is available in the download section. It demonstrates the first part of inferring a model for the Alternating Bit Protocol. The full version as well as a version explaining the scenario classification will be made available, soon.

A new version of Smyle (v.022) is available in the download section. Due to a change in the learning library, all previous versions become inoperable.

A new version of Smyle will be available from the download section, soon. (This update is due to a change in the learning library. It will make all previous versions of Smyle outdated.)