SMART: Stochastic Model-checking Analyzer for Reliability and Timing Showcase Itemhttp://smart.cs.iastate.edu/SMART is a software package to study complex discrete-state systems.
