134
click to vote
FORMATS
15 years 7 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...
116
click to vote
FORMATS
15 years 7 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...
105
click to vote
FORMATS
15 years 7 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...
100
click to vote
FORMATS
15 years 7 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...
110
Voted
FORMATS
15 years 7 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