Efficient Parametric Model Checking Using Domain Knowledge
- Submitting institution
-
University of York
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 62889028
- Type
- D - Journal article
- DOI
-
10.1109/TSE.2019.2912958
- Title of journal
- IEEE Transactions on Software Engineering
- Article number
- 8698796
- First page
- -
- Volume
- 0
- Issue
- -
- ISSN
- 0098-5589
- Open access status
- Compliant
- Month of publication
- April
- Year of publication
- 2019
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper provides a rigorous theoretical foundation that can be used to speed up the model checking of parametric Markov chains by up to several orders of magnitude, enabling the verification of much larger models than those supported by previous parametric model checking methods. One of the fundamental-research strands from the £307K ORCA Hub/EPSRC research grant awarded to the author as PI (https://orcahub.org/engagement/partnership-fund/cove) is based on this theoretical foundation.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -