SMART: Stochastic Model-checking Analyzer for Reliability and Timing

Showcase Item

http://smart.cs.iastate.edu/

SMART is a software package to study complex discrete-state systems.

Resource Category: 

Other

Category: 

Showcase Item

Site Managed By: 

Biology IT

Tags: 

SMART