Comparative analysis of statistical model checking tools

DOI10.1007/978-3-319-54072-6_8MaRDI QIDQ2975907zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

membrane computingstatistical model checkingbiological modelsP-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)

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

Cites work

• scientific article; zbMATH DE number 176923 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• scientific article; zbMATH DE number 1905115 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A Hybrid Approach to Modeling Biological Systems
• A new approach combining simulation and randomization for the analysis of large continuous time Markov chains
• An integrated model checking toolset for kernel P systems
• Computer Aided Verification
• Infobiotics. Information in biotic systems
• Logic in Computer Science
• Model Checking Kernel P Systems
• Model-checking continuous-time Markov chains
• Statecharts: a visual formalism for complex systems
• Stochastic model checking

Cited in

(1)

• Statistical model checking for variability-intensive systems: applications to bug detection and minimization

Describes a project that uses

Uses Software

• MC2
• Ymer
• MRMC
• PRISM

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)