|
Name: SMART
Version: 1.1
Description:
The Stochastic Model checking Analyzer for Reliability and Timing
(SMART) is a research tool for studying the properties of complex discrete-state
systems. For more information, see the SMART
home page and the SMART
manual.
Availability: UltraSPARC only
Installation Path:
/usr/local/SMART/[bin,doc,example]
Documentation:
Usage Notes:
The current version of SMART runs sequentially on a single processor.
A parallel version is under development.
SMART is maintained on SciClone by Ming-Ying
Chung of the University of California at Riverside.
|
