152
Voted
FORMATS
15 years 9 months ago
2003 Springer 
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
128
Voted
FORMATS
15 years 9 months ago
2003 Springer 
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
116
Voted
FORMATS
15 years 9 months ago
2003 Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
113
Voted
FORMATS
15 years 9 months ago
2003 Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
122
Voted
FORMATS
15 years 9 months ago
2003 Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
|
Formal Methods