Building on the theory of modal I/O automata (MIOs) by Larsen et al. we introduce a new
compatibility notion called weak modal compatibility. As an important property of behavioral …

Twenty years ago, modal and mixed specifications were proposed as abstract models of
system behavior. In this paper, we explain the nature and utility of such specifications, relate …

We survey the specification formalism of modal transition systems (MTS). We discuss
various extensions of MTS, their relationships and modelling capabilities. The extensions …

There are two fundamentally different approaches to specifying and verifying properties of
systems. The logical approach makes use of specifications given as formulae of temporal or …

Synthesis of operational behavior models from scenario-based specifications has been
extensively studied. The focus has been mainly on either existential or universal …

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 …

Modal transition systems (MTS), a specification formalism introduced more than 20 years
ago, has recently received a considerable attention in several different areas. Many of the …

Aalborg Universitet Modal Transition Systems as the Basis for Interface Theories and
Product Lines Nyman, Ulrik Page 1 Aalborg Universitet Modal Transition Systems as the …

We present a tool for modal transition systems (MTS), disjunctive MTS and further
extensions of MTS supporting also nondeterministic systems. We provide the operations …

Modal transition systems (MTS), a specification formalism introduced more than 20 years
ago, has recently received a considerable attention in several different areas. Many of the …