You are here

Statechum

Error message

Deprecated function: The each() function is deprecated. This message will be suppressed on further calls in menu_set_active_trail() (line 2404 of /usr/share/drupal7/includes/menu.inc).

Statechum is a tool implementing EDSM/QSM inference techniques and a number of methods contributing to research work on inference methods. These include:

  • support for domain-specific heuristics (such as using LTL),
  • generation of random LTS,
  • graph differencing (construction of a 'diff' between two LTS),
  • computation of F-Measure and BCR,
  • integration with R tool for plotting graphs,
  • integration with Erlang for inference of models of Erlang modules.

Its code can be downloaded here.