Logic and stochastic modeling with S m A r T

This publication has 25 references indexed in Scilit:

• Probabilistic symbolic model checking with PRISM: a hybrid approach
  International Journal on Software Tools for Technology Transfer, 2004
• Implicit GSPN reachability set generation using decision diagrams
  Performance Evaluation, 2004
• A Tutorial on Uppaal
  Published by Springer Nature ,2004
• A tool for model-checking Markov chains
  International Journal on Software Tools for Technology Transfer, 2003
• The Mobius framework and its implementation
  IEEE Transactions on Software Engineering, 2002
• Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
  INFORMS Journal on Computing, 2000
• NUSMV: a new symbolic model checker
  International Journal on Software Tools for Technology Transfer, 2000
• Performability modeling with UltraSAN
  IEEE Software, 1991
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• Kronecker products and matrix calculus in system theory
  IEEE Transactions on Circuits and Systems, 1978