5015 search results - page 154 / 1003 » Model Checking a Path |
110
Voted
ADBIS
2001
Springer
15 years 7 months ago
2001
Springer
One potential problem of active database applications is the non-termination of rules. Although algorithms have been proposed to detect non-termination, almost all provide a conser...
124
click to vote
APSEC
1999
IEEE
15 years 6 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
137
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...
159
click to vote
SPIN
2000
Springer
15 years 6 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...
124
click to vote
FORMATS
2008
Springer
15 years 4 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...