MARCIE – Model Checking and Reachability Analysis Done Efficiently
- 1 January 2013
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- Snoopy – A Unifying Petri Net ToolLecture Notes in Computer Science, 2012
- SABRE: A Tool for Stochastic Analysis of Biochemical Reaction NetworksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- Fast Adaptive Uniformization of the Chemical Master EquationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Logic and stochastic modeling with S m A r TPerformance Evaluation, 2006
- Model-checking continuous-time Markov chainsACM Transactions on Computational Logic, 2000
- Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many ChannelsThe Journal of Physical Chemistry A, 2000
- Approximative Symbolic Model Checking of Continuous-Time Markov ChainsLecture Notes in Computer Science, 1999
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Exact stochastic simulation of coupled chemical reactionsThe Journal of Physical Chemistry, 1977