Selection Criteria for Statistical Model Checking

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

Authors/Creators:	Bakir, M.E. https://orcid.org/0000-0002-3012-8713 Stannett, M.P. https://orcid.org/0000-0002-2794-8614
Copyright, Publisher and Additional Information:	© 2016 WMC
Dates:	Published (online): 11 July 2016 Published: 19 August 2016
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

CORE (COnnecting REpositories)

Selection Criteria for Statistical Model Checking

Abstract

Metadata

Download

External copy

Export

Statistics