Logic and stochastic modeling with S m A r T
We describe the main features of S m A r T, a software package providing a seamless
environment for the logic and probabilistic analysis of complex systems. S m A r T 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-based numerical solution approaches are …
environment for the logic and probabilistic analysis of complex systems. S m A r T 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-based numerical solution approaches are …
[PDF][PDF] Logic and stochastic modeling with SmArT
G Ciardoa, RL Jones, ASMR Siminiceanud - Citeseer
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-based numerical solution approaches are available when …
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-based numerical solution approaches are available when …
Showing the best results for this search. See all results