The generic representatives (or counter abstraction) approach has been shown to be an
effective symmetry reduction method for model checking. This method was extended to a …

This paper presents an iterative method to analyse system reliability models. The key idea is
to analyse a partial state space of a reliability model in a conservative and an optimistic …

In this paper we propose an exact symbolic simulation method to compute the impact of
delays in railway systems. We use macroscopic railway infrastructure models and model …

Abstract JANI-model [6] is a model interchange format for networks of interacting automata. It
is well-entrenched in the quantitative model checking community and allows modeling a …

State-of-the-art probabilistic model checkers perform verification on explicit-state Markov
models defined in a high-level programming formalism like the PRISM modeling language …

Quantitative verification is used to verify quantitative properties of a system. The expected
response time and the probability of failure are examples of properties that we can verify …

We study the problem of using probabilistic network models to formally analyze their
quantitative properties, such as the effect of different load-balancing strategies on the long …

Many definitions of business processes refer to business goals, value creation, or
profits/gains of sorts. Nevertheless, the focus of formal methods research on business …