Contracts for system design
Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …
complements system design methodologies proposed so far to cope with the complexity of …
A generic approach to quantitative verification
U Fahrenberg - arxiv preprint arxiv:2204.11302, 2022 - arxiv.org
This thesis is concerned with quantitative verification, that is, the verification of quantitative
properties of quantitative systems. These systems are found in numerous applications, and …
properties of quantitative systems. These systems are found in numerous applications, and …
Long-term average cost in featured transition systems
A software product line is a family of software products that share a common set of
mandatory features and whose individual products are differentiated by their variable …
mandatory features and whose individual products are differentiated by their variable …
Quantitative Analyses of Software Product Lines
RE Olaechea Velazco - 2022 - uwspace.uwaterloo.ca
A software product-line (SPL) is a family of related software systems that are jointly
developed and reuse a set of shared assets. Each individual software system in an SPL is …
developed and reuse a set of shared assets. Each individual software system in an SPL is …
CEGAR for qualitative analysis of probabilistic systems
We consider Markov decision processes (MDPs) which are a standard model for
probabilistic systems. We focus on qualitative properties forMDPs that can express that …
probabilistic systems. We focus on qualitative properties forMDPs that can express that …
A formal approach based on fuzzy logic for the specification of component-based interactive systems
V Koutsoumpas - arxiv preprint arxiv:1503.04917, 2015 - arxiv.org
Formal methods are widely recognized as a powerful engineering method for the
specification, simulation, development, and verification of distributed interactive systems …
specification, simulation, development, and verification of distributed interactive systems …
CEGAR for compositional analysis of qualitative properties in Markov decision processes
We consider Markov decision processes (MDPs) which are a standard model for
probabilistic systems. We focus on qualitative properties for MDPs that can express that …
probabilistic systems. We focus on qualitative properties for MDPs that can express that …
Statistical and logical methods for property checking
P Daca - 2017 - research-explorer.ista.ac.at
This dissertation concerns the automatic verification of probabilistic systems and programs
with arrays by statistical and logical methods. Although statistical and logical methods are …
with arrays by statistical and logical methods. Although statistical and logical methods are …
Quantifying fidelity for timed transition systems
SS Ponnusamy, V Albert… - 2016 6th International …, 2016 - ieeexplore.ieee.org
The paper addresses one of the fundamental questions in using simulation as a means for
system verification and validation, namely, how far the simulation model represents the …
system verification and validation, namely, how far the simulation model represents the …
Simulation fidelity distance: A game-theoretic framework
S saagar Ponnusamy, V Albert… - 2016 Symposium on …, 2016 - ieeexplore.ieee.org
The paper addresses one of the fundamental questions in using simulation as a means for
system verification and validation, namely, how far the simulation model represents the real …
system verification and validation, namely, how far the simulation model represents the real …