You are here

Statechum

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.