854 search results - page 13 / 171 » Addressing Dynamic Issues of Program Model Checking |
163
click to vote
ICALP
1997
Springer
15 years 9 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
149
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
155
click to vote
PPCP
1993
15 years 10 months ago
1993
Use of constraint-based techniques in interactive graphics applications poses a variety of unique challenges to system implementors. This paper begins by describing how interface ...
150
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
165
click to vote
AICCSA
2008
IEEE
16 years 10 days ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...