Comparative analysis of statistical model checking tools
DOI10.1007/978-3-319-54072-6_8zbMATH Open1483.68184OpenAlexW2589072973MaRDI QIDQ2975907FDOQ2975907
Authors: Mehmet Emin Bakir, Marian Gheorghe, Savas Konur, Mike Stannett 
Publication date: 12 April 2017
Published in: Membrane Computing (Search for Journal in Brave)
Full work available at URL: http://eprints.whiterose.ac.uk/116497/1/CMC17.pdf
Recommendations
- Probabilistic verification of a biodiesel production system using statistical model checking
- Statistical model checking for cyber-physical systems
- Probabilistic model checking of complex biological pathways
- FORMAL VERIFICATION OF P SYSTEMS USING SPIN
- Formal verification of P systems with active membranes through model checking
Specification and verification (program logics, model checking, etc.) (68Q60) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Cites Work
- Title not available (Why is that?)
- Statecharts: a visual formalism for complex systems
- Title not available (Why is that?)
- Logic in Computer Science
- Title not available (Why is that?)
- A Hybrid Approach to Modeling Biological Systems
- Computer Aided Verification
- Stochastic model checking
- Model-checking continuous-time Markov chains
- Title not available (Why is that?)
- Infobiotics. Information in biotic systems
- An integrated model checking toolset for kernel P systems
- Model Checking Kernel P Systems
- Title not available (Why is that?)
- A new approach combining simulation and randomization for the analysis of large continuous time Markov chains
Cited In (1)
Uses Software
This page was built for publication: Comparative analysis of statistical model checking tools
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2975907)
