SMART_
| swMATH ID: | 4097 |
| Software Authors: | Ciardo, G.; Jones, R. L.; Miner, A. S.; Siminiceanu, R. |
| Description: | Logical and stochastic modeling with smart. We describe the main features of Smart, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. Smart can combine different formalisms in the same modeling study. For the analysis of logical behavior, both explicit and symbolic state-space generation techniques, as well as symbolic CTL model-checking algorithms, are available. For the study of stochastic and timing behavior, both sparse-storage and Kronecker numerical solution approaches are available when the underlying process is a Markov chain. In addition, discrete-event simulation is always applicable regardless of the stochastic nature of the process, but certain classes of non-Markov models can still be solved numerically. Finally, since Smart targets both the classroom and realistic industrial settings as a learning, research, and application tool, it is written in a modular way that allows for easy integration of new formalisms and solution algorithms. |
| Homepage: | http://link.springer.com/chapter/10.1007/978-3-540-45232-4_6 |
| Related Software: | SPIN; PRISM; NuSMV; Möbius; PEPA; CUDD; MRMC; Meddly; GreatSPN; SHARPE; GreatSPN 1.7; PEPS; SPNP; AToM3; Chaff; CADP; HyTech; JavaBDD; Archive Formal Proofs; GitHub |
| Cited in: | 26 Documents |
all
top 5
Cited by 51 Authors
Cited in 5 Serials
| 2 | Theoretical Computer Science |
| 1 | Formal Aspects of Computing |
| 1 | Formal Methods in System Design |
| 1 | INFORMS Journal on Computing |
| 1 | The Journal of Logic and Algebraic Programming |
all
top 5
