126
click to vote
FORMATS
15 years 6 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...
108
click to vote
FORMATS
15 years 6 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...
FORMATS
15 years 6 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...
FORMATS
15 years 6 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...
100
click to vote
FORMATS
15 years 6 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