Affiliation:
1. University of California, Riverside
2. Iowa State University
3. Yahoo! Inc.
Abstract
We describe some of the advanced features of the software tool SmArT, the Stochastic Model checking Analyzer for Reliability and Timing. Initially conceived as a software package for numerical solution and discrete-event simulation of stochastic models, SmArT now also provides powerful modelchecking capabilities, thanks to its extensive use of various forms of decision diagrams, which in turn also greatly increase the efficiency of its stochastic analysis algorithms. These aspects make it an excellent choice when tackling systems with extremely large state spaces.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Networks and Communications,Hardware and Architecture,Software
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Skipping and Fetching: Insights on Non-conventional Product-Form Solutions;Quantitative Evaluation of Systems;2023
2. Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts;Automated Technology for Verification and Analysis;2023
3. Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019;International Journal on Software Tools for Technology Transfer;2021-06-01
4. Model Checking the Multi-Formalism Language FIGARO;2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2021-06
5. An ontology for multi-paradigm modelling;Multi-Paradigm Modelling Approaches for Cyber-Physical Systems;2021