3742 search results - page 231 / 749 » On the Use of Formal Techniques for Validation |
151
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
153
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper we propose a novel technique to image completion that addresses image renaissance through a graph-based matching process. To this end, a number of candidate seeds wi...
154
click to vote
FATES
2004
Springer
15 years 12 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
191
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper presents methods of default reasoning which allow us to draw negative conclusions that are not available in some of the models for inheritance reasoning. Some of these ...
196
click to vote
TSMC
1998
15 years 6 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...