4962 search results - page 214 / 993 » Stochastic Model Checking |
134
click to vote
FASE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
158
Voted
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...
123
click to vote
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
112
click to vote
AAAI
2010
15 years 3 months ago
2010
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
127
click to vote
APN
2008
Springer
15 years 4 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...