Reachability in parametric Interval Markov Chains using constraints
- 1 November 2018
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 747, 48-74
Abstract
No abstract availableKeywords
Funding Information
- ANR (ANR-14-CE28-0002, ANR-15-CE25-0002)
- Region Pays de la Loire and European Regional Development Fund (Atlanstic2020)
This publication has 11 references indexed in Scilit:
- Parameter Synthesis for Parametric Interval Markov Chains2015
- PROPhESY: A PRObabilistic ParamEter SYnthesis Tool2015
- Model Checking of Open Interval Markov Chains2015
- Mixed Integer Linear Programming Formulation TechniquesSIAM Review, 2015
- Probabilistic verification of Herman’s self-stabilisation algorithmFormal Aspects of Computing, 2012
- Analysis of probabilistic contract signing1Journal of Computer Security, 2006
- Evaluating the reliability of NAND multiplexing with PRISMIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2005
- Probabilistic analysis of an anonymity systemJournal of Computer Security, 2004
- A Markov chain model for statistical software testingIEEE Transactions on Software Engineering, 1994
- Ueber unendliche, lineare PunktmannichfaltigkeitenMathematische Annalen, 1883