Comparative Analysis of Statistical Model Checking Tools

DOI10.1007/978-3-319-54072-6_8zbMath1483.68184OpenAlexW2589072973MaRDI QIDQ2975907

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

zbMATH Keywords

membrane computingbiological modelsstatistical model checkingP-systemsperformance benchmarking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Uses Software

• PRISM
• MRMC
• Ymer
• MC2

Cites Work

• Statecharts: a visual formalism for complex systems
• Infobiotics. Information in biotic systems
• An Integrated Model Checking Toolset for Kernel P Systems
• Stochastic Model Checking
• A new approach combining simulation and randomization for the analysis of large continuous time Markov chains
• Logic in Computer Science
• Model Checking Kernel P Systems
• A Hybrid Approach to Modeling Biological Systems
• Computer Aided Verification
• Model-checking continuous-time Markov chains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Comparative Analysis of Statistical Model Checking Tools