Bakir, M.E. orcid.org/0000-0002-3012-8713 and Stannett, M.P. orcid.org/0000-0002-2794-8614 (2016) Selection Criteria for Statistical Model Checking. In: Proceedings of the Workshop on Membrane Computing, WMC 2016. Workshop on Membrane Computing, WMC 2016, 11-15 Jul 2016, Manchester, UK. , Bradford University , pp. 55-57.
Abstract
Statistical model checking (SMC) has been used to verify both biological and P systems, but different SMC tools employ different modelling and property specification languages, making it hard to decide which tool is best for which problem. We survey the capabilities of SMC tools and provide experimental results showing their ability to verify patterns against biological models. Our eventual goal is the automation of the SMC selection process.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2016 WMC |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 10 Sep 2018 09:01 |
Last Modified: | 10 Sep 2018 09:01 |
Published Version: | https://bradscholars.brad.ac.uk/handle/10454/8840 |
Status: | Published |
Refereed: | Yes |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:133211 |