Welcome to the permanent home for SMART, an open-source software package to study complex discrete-state systems. Models may be specified either directly, as a finite state machine or Markov chain, or using a high-level formalism, such as a Petri net.  Analysis engines include CTL model checking and computation of performance measures.

SMART is available on github at http://asminer.github.io/smart/.