Logic and stochastic modeling with S m A r T
- 1 June 2006
- journal article
- Published by Elsevier BV in Performance Evaluation
- Vol. 63 (6), 578-608
- https://doi.org/10.1016/j.peva.2005.06.001
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Probabilistic symbolic model checking with PRISM: a hybrid approachInternational Journal on Software Tools for Technology Transfer, 2004
- Implicit GSPN reachability set generation using decision diagramsPerformance Evaluation, 2004
- A Tutorial on UppaalLecture Notes in Computer Science, 2004
- A tool for model-checking Markov chainsInternational Journal on Software Tools for Technology Transfer, 2003
- The Mobius framework and its implementationIEEE Transactions on Software Engineering, 2002
- Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov ModelsINFORMS Journal on Computing, 2000
- NUSMV: a new symbolic model checkerInternational Journal on Software Tools for Technology Transfer, 2000
- Performability modeling with UltraSANIEEE Software, 1991
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Kronecker products and matrix calculus in system theoryIEEE Transactions on Circuits and Systems, 1978